formalization topic
bonak
🧊 An indexed construction of semi-simplicial and semi-cubical types
HoTT-Intro
An introductory course to Homotopy Type Theory
GeoCoq
A formalization of geometry in Coq based on Tarski's axiom system
smoosh
The Symbolic, Mechanized, Observable, Operational SHell: an executable formalization of the POSIX shell standard.
formal-type-theory
Formalising Type Theory in a modular way for translations between type theories
coq-guarded-computational-type-theory
two-level
Two-Level Type Theory
agda-presburger
Deciding Presburger arithmetic in agda
system-F
Formalization of the polymorphic lambda calculus and its parametricity theorem
autosubst2
Official repository of the Autosubst 2 project.