Old School

• March 14th, 2025, 11:21 am

Laurent Schwartz: Analytical Type Theory

https://github.com/groupoid/laurent

• March 8th, 2025, 02:18 am

Henk Barendregt: Pure Type System

https://github.com/groupoid/henk

• March 8th, 2025, 02:16 am

Christine Paulin-Mohring: Calculus of Inductive Constructions

https://github.com/groupoid/christine

• March 2nd, 2025, 09:29 pm

Fabien Morel: 𝔸¹ Type Theory

https://github.com/groupoid/fabien

• 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

• February 26th, 2025, 12:48 pm

Jack Morava: Chromatic Type Theory

https://github.com/groupoid/jack

• February 26th, 2025, 12:47 pm

Dan Kan: Simplicial Type Theory

https://github.com/groupoid/dan