A Proof Assistant for Philosophers
Primary LanguageClojureOtherNOASSERTION
No issues in this repository yet.