Software projects of Juha Arpiainen
ASCII port
of Iter Vehemens ad Necem
Bourbaki
proof verifier
Cljc
, a clojure compiler