/fitchjs

Fitch style proof constructor

Primary LanguageJavaScriptOtherNOASSERTION