OpenLogicProject/fitch-checker
JavaScript/PHP Fitch-style natural deduction proof editor and checker (NO LONGER MAINTAINED)
PHPGPL-3.0
Stargazers
- armandbancila{London, Bucharest}
- blackerbyDC
- bruno-who-likes
- corithDTCC
- dasldBrazil
- dsansonIllinois State University
- EthanAlvareeHigh Bluff Academy
- EtherTyperPrivate Proxy
- eyssetteEnseignant – Education nationale
- FlorianCassayre@CERN
- flunardelliBrazil
- FrankHubenyFort Mill, SC
- frewqBuenos Aires, Argentina
- gadmold
- Guro2
- Inviro
- jaysonvirissimo@safxgroup
- JordanMussiUnited Kingdom
- joswha@Zellic
- JRizzled
- justin-lovellSydney, Australia
- L30BolaWildlife Studios
- lazyhope
- loup-brun@corsaire-chaparral @LivreNum
- milksob
- msjyooStudent
- nolze
- peterodigie
- rogpeppeCUE
- Siss3l
- svanderbleek@pantheon-systems
- swak@swak
- thiagoalvesifce
- tomcuchtaMarshall University
- WoongheeLeeKorea Institute of Energy Research
- wrussell1999@kestra-io