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
Nov 17, 2024 - Rust