Popular repositories Loading

1. core.relational core.relational Public

   Relational language for Clojure based on Date's Tutorial D

   Clojure 2 1

2. logic-workbench logic-workbench Public

   Logical workbench (research project by www.thm.de)

   Clojure 1

3. natural-deduction natural-deduction Public

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

   Clojure