1 result found Sort:

homotopy-io
homotopy-rs homotopy-io
7
91
bsd-3-clause
5
A Rust/WASM implementation of homotopy.io
math rust maths diagram diagrams mathematics string-diagram category-theory proof-assistant string-diagrams proof-assistants higher-category-theory
Created 2020-09-17
1,761 commits to master branch, last one about a month ago