├── LICENSE ├── README.md ├── ajax.js ├── checkproof.php ├── fitch-checker.png ├── fol-exs.html ├── index.html ├── new.png ├── newb.png ├── newsp.png ├── newspb.png ├── normalize.css ├── phpinf.php ├── proofs.css ├── proofs.js ├── proofs.php ├── rules ├── Makefile ├── forallxyyc.sty └── texf │ ├── Ae.texf │ ├── Ai.texf │ ├── Ee.texf │ ├── Ei.texf │ ├── Ie.texf │ ├── Ii.texf │ ├── ae.texf │ ├── ai.texf │ ├── be.texf │ ├── bi.texf │ ├── ce.texf │ ├── ci.texf │ ├── dem.texf │ ├── dne.texf │ ├── ds.texf │ ├── ip.texf │ ├── lem.texf │ ├── mt.texf │ ├── ne.texf │ ├── ni.texf │ ├── oe.texf │ ├── oi.texf │ ├── qc.texf │ ├── r.texf │ ├── rule-template.tex │ └── xp.texf ├── sample.png ├── skeleton.css ├── syntax.js ├── syntax.php ├── tfl-exs.html └── wait.gif /LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OpenLogicProject/fitch-checker/HEAD/LICENSE -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OpenLogicProject/fitch-checker/HEAD/README.md -------------------------------------------------------------------------------- /ajax.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OpenLogicProject/fitch-checker/HEAD/ajax.js -------------------------------------------------------------------------------- /checkproof.php: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OpenLogicProject/fitch-checker/HEAD/checkproof.php -------------------------------------------------------------------------------- /fitch-checker.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OpenLogicProject/fitch-checker/HEAD/fitch-checker.png -------------------------------------------------------------------------------- /fol-exs.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OpenLogicProject/fitch-checker/HEAD/fol-exs.html -------------------------------------------------------------------------------- /index.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OpenLogicProject/fitch-checker/HEAD/index.html -------------------------------------------------------------------------------- /new.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OpenLogicProject/fitch-checker/HEAD/new.png -------------------------------------------------------------------------------- /newb.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OpenLogicProject/fitch-checker/HEAD/newb.png -------------------------------------------------------------------------------- /newsp.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OpenLogicProject/fitch-checker/HEAD/newsp.png -------------------------------------------------------------------------------- /newspb.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OpenLogicProject/fitch-checker/HEAD/newspb.png -------------------------------------------------------------------------------- /normalize.css: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OpenLogicProject/fitch-checker/HEAD/normalize.css -------------------------------------------------------------------------------- /phpinf.php: -------------------------------------------------------------------------------- 1 | 2 | -------------------------------------------------------------------------------- /proofs.css: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OpenLogicProject/fitch-checker/HEAD/proofs.css -------------------------------------------------------------------------------- /proofs.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OpenLogicProject/fitch-checker/HEAD/proofs.js -------------------------------------------------------------------------------- /proofs.php: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OpenLogicProject/fitch-checker/HEAD/proofs.php -------------------------------------------------------------------------------- /rules/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OpenLogicProject/fitch-checker/HEAD/rules/Makefile -------------------------------------------------------------------------------- /rules/forallxyyc.sty: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OpenLogicProject/fitch-checker/HEAD/rules/forallxyyc.sty -------------------------------------------------------------------------------- /rules/texf/Ae.texf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OpenLogicProject/fitch-checker/HEAD/rules/texf/Ae.texf -------------------------------------------------------------------------------- /rules/texf/Ai.texf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OpenLogicProject/fitch-checker/HEAD/rules/texf/Ai.texf -------------------------------------------------------------------------------- /rules/texf/Ee.texf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OpenLogicProject/fitch-checker/HEAD/rules/texf/Ee.texf -------------------------------------------------------------------------------- /rules/texf/Ei.texf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OpenLogicProject/fitch-checker/HEAD/rules/texf/Ei.texf -------------------------------------------------------------------------------- /rules/texf/Ie.texf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OpenLogicProject/fitch-checker/HEAD/rules/texf/Ie.texf -------------------------------------------------------------------------------- /rules/texf/Ii.texf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OpenLogicProject/fitch-checker/HEAD/rules/texf/Ii.texf -------------------------------------------------------------------------------- /rules/texf/ae.texf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OpenLogicProject/fitch-checker/HEAD/rules/texf/ae.texf -------------------------------------------------------------------------------- /rules/texf/ai.texf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OpenLogicProject/fitch-checker/HEAD/rules/texf/ai.texf -------------------------------------------------------------------------------- /rules/texf/be.texf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OpenLogicProject/fitch-checker/HEAD/rules/texf/be.texf -------------------------------------------------------------------------------- /rules/texf/bi.texf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OpenLogicProject/fitch-checker/HEAD/rules/texf/bi.texf -------------------------------------------------------------------------------- /rules/texf/ce.texf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OpenLogicProject/fitch-checker/HEAD/rules/texf/ce.texf -------------------------------------------------------------------------------- /rules/texf/ci.texf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OpenLogicProject/fitch-checker/HEAD/rules/texf/ci.texf -------------------------------------------------------------------------------- /rules/texf/dem.texf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OpenLogicProject/fitch-checker/HEAD/rules/texf/dem.texf -------------------------------------------------------------------------------- /rules/texf/dne.texf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OpenLogicProject/fitch-checker/HEAD/rules/texf/dne.texf -------------------------------------------------------------------------------- /rules/texf/ds.texf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OpenLogicProject/fitch-checker/HEAD/rules/texf/ds.texf -------------------------------------------------------------------------------- /rules/texf/ip.texf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OpenLogicProject/fitch-checker/HEAD/rules/texf/ip.texf -------------------------------------------------------------------------------- /rules/texf/lem.texf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OpenLogicProject/fitch-checker/HEAD/rules/texf/lem.texf -------------------------------------------------------------------------------- /rules/texf/mt.texf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OpenLogicProject/fitch-checker/HEAD/rules/texf/mt.texf -------------------------------------------------------------------------------- /rules/texf/ne.texf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OpenLogicProject/fitch-checker/HEAD/rules/texf/ne.texf -------------------------------------------------------------------------------- /rules/texf/ni.texf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OpenLogicProject/fitch-checker/HEAD/rules/texf/ni.texf -------------------------------------------------------------------------------- /rules/texf/oe.texf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OpenLogicProject/fitch-checker/HEAD/rules/texf/oe.texf -------------------------------------------------------------------------------- /rules/texf/oi.texf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OpenLogicProject/fitch-checker/HEAD/rules/texf/oi.texf -------------------------------------------------------------------------------- /rules/texf/qc.texf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OpenLogicProject/fitch-checker/HEAD/rules/texf/qc.texf -------------------------------------------------------------------------------- /rules/texf/r.texf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OpenLogicProject/fitch-checker/HEAD/rules/texf/r.texf -------------------------------------------------------------------------------- /rules/texf/rule-template.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OpenLogicProject/fitch-checker/HEAD/rules/texf/rule-template.tex -------------------------------------------------------------------------------- /rules/texf/xp.texf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OpenLogicProject/fitch-checker/HEAD/rules/texf/xp.texf -------------------------------------------------------------------------------- /sample.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OpenLogicProject/fitch-checker/HEAD/sample.png -------------------------------------------------------------------------------- /skeleton.css: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OpenLogicProject/fitch-checker/HEAD/skeleton.css -------------------------------------------------------------------------------- /syntax.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OpenLogicProject/fitch-checker/HEAD/syntax.js -------------------------------------------------------------------------------- /syntax.php: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OpenLogicProject/fitch-checker/HEAD/syntax.php -------------------------------------------------------------------------------- /tfl-exs.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OpenLogicProject/fitch-checker/HEAD/tfl-exs.html -------------------------------------------------------------------------------- /wait.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OpenLogicProject/fitch-checker/HEAD/wait.gif --------------------------------------------------------------------------------