1 result found Sort:

homotopy-io
homotopy-rs homotopy-io
5
76
bsd-3-clause
6
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,743 commits to master branch, last one 3 days ago