A clojure library for natural deduction
Primary LanguageClojureEclipse Public License 1.0EPL-1.0
No issues in this repository yet.