A Rust/WASM implementation of homotopy.io
rust
math
diagram
mathematics
proof-assistant
category-theory
diagrams
maths
string-diagram
string-diagrams
proof-assistants
higher-category-theory
-
Updated
Jun 30, 2024 - Rust
A Rust/WASM implementation of homotopy.io
A toolkit for higher-dimensional diagram rewriting.
Add a description, image, and links to the higher-category-theory topic page so that developers can more easily learn about it.
To associate your repository with the higher-category-theory topic, visit your repo's landing page and select "manage topics."