homotopy-io/homotopy-rs

A Rust/WASM implementation of homotopy.io

语言：Rust · GitHub 星标：123 · Fork：14

话题：category-theory · diagram · diagrams · higher-category-theory · math · mathematics · maths · proof-assistant

在 GitHub 上查看原仓库