Software projects of Juha Arpiainen

• ASCII port of Iter Vehemens ad Necem
• Bourbaki proof verifier
• Cljc, a clojure compiler