www.mni.thm.de project for natural deduction with clojure