Groupoïd

Pinned

1. alonzo Public

   🧊 Alonzo: STLC implementation

   OCaml 7

2. henk Public

   🧊 Henk: CoC Pure Type System

   Pug 138 18

3. anders Public

   🧊 Anders: Modal HoTT Proof Assistant

   OCaml 84 4

4. CCHM Public

   🧊 Formal Mathematics: Base Library

   11 3

5. groupoid.space Public

   🧊 Groupoїd: Languages for Mathematician

   TeX 36 11

6. cafe Public

   🧊 Cafe: Presentations and Workshops

   20