A Clojure library exploring the application of pure reasoning algorithms. - View it on GitHub
Star
27
Rank
760712