Geek Repo
A proof assistant implementing the theory of associative n-categories
Home Page:https://homotopy.io
Github PK Tool:Github PK Tool
A Rust/WASM implementation of homotopy.io