GeezerVison

Popular repositories Loading

1. UniMath UniMath Public

   This rocq library aims to formalize a substantial body of mathematics using the univalent point of view.

   Rocq Prover 1k 187

2. SymmetryBook SymmetryBook Public

   This book will be a textbook written in the univalent style, taking advantage of the presence of symmetry in the logic at an early stage.

   HTML 452 30

3. agda-unimath agda-unimath Public

   The agda-unimath library

   Agda 318 104

4. Foundations Foundations Public

   Voevodsky's original development of the univalent foundations of mathematics in Coq

   Coq 247 22

5. TypeTheory TypeTheory Public

   The mathematical study of type theories, in univalent foundations

   Rocq Prover 122 25

6. Schools Schools Public

   Rocq Prover 94 27