surajx / proof-assistantLinks

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

Alternatives and similar repositories for proof-assistant

Users that are interested in proof-assistant are comparing it to the libraries listed below

Sorting: