search

OpenLogicProject / fitch-checker

JavaScript/PHP Fitch-style natural deduction proof editor and checker (NO LONGER MAINTAINED)
GNU General Public License v3.0
51 stars 5 forks source link

Document the code #5

Open rzach opened 7 years ago

rzach commented 7 years ago

Would be easier for others to understand and contribute to the code if it were documented.

Benschar1 commented 3 years ago

I've been looking around for a proof assistant to extend, i have some ideas for an interface but want to bootstrap an existing prover so i can use its parser and data structures as a backend for other equivalent proof systems. Any progress on the documentation? I have minimal experience in webdev so without documentation it will be pretty tough for me to sort through what the code does.

rzach commented 3 years ago

I have no plans myself; and @frabjous probably doesn't either I'm afraid. Personally I use Carnap.io for all my proof checker needs. It covers many different proof systems.