This repository holds clojure sources to work with natural deduction, a project operated by the department MNI of the University of Applied Science (www.thm.de). It is progress, so do not expect anything to work yet.
Coming soon...
Copyright © 2014
Distributed under the Eclipse Public License either version 1.0 or (at your option) any later version.