Skip to content
@homotopy-io

homotopy.io

A proof assistant implementing the theory of associative n-categories

Popular repositories

  1. homotopy-rs homotopy-rs Public

    A Rust/WASM implementation of homotopy.io

    Rust 72 5

  2. homotopy-webclient homotopy-webclient Public

    JavaScript 26 5

  3. homotopy-core homotopy-core Public

    JavaScript 4

Repositories

Showing 3 of 3 repositories

People

This organization has no public members. You must be a member to see who’s a part of this organization.

Top languages

Loading…

Most used topics

Loading…