Skip to content
@RedPRL

RedPRL

Uphold Cubical Thought!

Pinned

  1. cooltt Public

    😎TT

    OCaml 138 9

  2. redtt Public

    "Between the darkness and the dawn, a red cube rises!": a proof assistant for cartesian cubical type theory

    OCaml 181 12

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…