Groupoïd

Pinned

1. castle.bravo Public

   🧊 Castle Bravo: HoTT-∂ Type System with definitional Path-β

   OCaml 11

2. anders Public

   🧊 Anders: CCHM HTS

   OCaml 64 3

3. principia Public

   ♾ Principia: Metamath-like Theorem Prover

   OCaml 10

4. ground.zero Public

   🧊 Ground Zero: Lean Cubical Base Library

   Lean 31 1

5. ivy.mike Public

   🧊 Ivy Mike: Hopf Fibrations Formalization

   4 1

6. pure Public

   ♾ PTS: Pure Type System for Erlang

   Erlang 135 15