March 27th, 2026, 11:08 am Per Martin-Löf: Intuitionistic Type Theory https://github.com/groupoid/per
March 27th, 2026, 11:07 am Frank Pfenning: Calculus of Inductive Constructions https://github.com/groupoid/frank
March 14th, 2025, 11:21 am Laurent Schwartz: Analytical Type Theory https://github.com/groupoid/laurent
March 8th, 2025, 02:16 am Christine Paulin-Mohring: Calculus of Inductive Constructions with Fixpoint https://github.com/groupoid/christ…
February 28th, 2025, 01:43 am Urs Schreiber: Equivariant Super Type Theory https://github.com/groupoid/urs
February 26th, 2025, 12:55 pm Anders Mörtberg: Cubical Type Theory https://github.com/groupoid/anders
