surajx / proof-assistant

Online platform to enable Logic students to write, verify, and store System L style Natural Deduction proofs with real-time proof-checking
11Updated 6 years ago

Related projects

Alternatives and complementary repositories for proof-assistant