Skip to content
@diSimplex

Directed Simplicial Theory

Programming Mathematical Analysis one dependent judgement at a time.

Popular repositories

  1. A Directed Simplex Type Theory engine programed in Haskell

    C 1 1

  2. Directed Simplicial Category Theory

    1

  3. Using Directed Simplicial Theory to prove work-a-day mathematics

    1

  4. A Repository for Directed Simplicial Type Theory

    1

  5. LaTeX resources used by the DiSimplex project

    1

  6. GitHub Pages for the diSimplex organization using Jekyll

    CSS

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…