GitHub repository: vpraid/manifold
Primary language: Clojure
Created: 2019-06-22T02:49:14Z
Description: Clojure Mathematics Formalization System