alexpatel / lean-modal

modal logic library for LEAN theorem prover
10Updated 7 years ago

Related projects

Alternatives and complementary repositories for lean-modal