Giters
homotopy.io (homotopy-io)

homotopy.io

homotopy-io

Geek Repo

A proof assistant implementing the theory of associative n-categories

Home Page:https://homotopy.io

Github PK Tool:Github PK Tool

homotopy.io's repositories

homotopy-rs

A Rust/WASM implementation of homotopy.io

Language:RustLicense:BSD-3-ClauseStargazers:73Issues:6Issues:514

homotopy-webclient

Language:JavaScriptStargazers:26Issues:7Issues:114

homotopy-core

Language:JavaScriptStargazers:4Issues:5Issues:1