homotopy.io

icon indicating a website link https://homotopy.io

icon location A proof assistant implementing the theory of associative n-categories

Results 1 repositories owned by homotopy.io
trafficstars

homotopy-rs

77
Stars
6
Forks
Watchers

A Rust/WASM implementation of homotopy.io

verified publisher icon homotopy-io