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

Save, load proofs #3

Open rzach opened 7 years ago

rzach commented 7 years ago

Add a way to download a proof in some format and to upload proofs in the same format to an existing proof table; and/or ability to save a proof (maybe in a cookie?)

benburrill commented 4 years ago

If this was done through query parameters (or fragment), it would also allow the creation of urls that link directly to a (possibly incomplete) proof for use as an exercise. These urls would also work as saves.