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

homotopy-rs

76
Stars
5
Forks
Watchers

A Rust/WASM implementation of homotopy.io

verified publisher icon homotopy-io