conexp-clj (clojars): A ConExp rewrite in clojure -- and so much more ...
Keywords: clojure|closure-systems|formal-concept-analysis|lattice|order|order-theory