Popular repositories Loading

1. pdfs pdfs Public

   2 1

2. Impredicative Impredicative Public

   Forked from awodey/Impredicative

   impredicative encodings in Lean

   Lean 1

3. segal segal Public

   Lean 1

4. Spectral Spectral Public

   Forked from cmu-phil/Spectral

   Lean

5. hott3 hott3 Public

   Forked from gebner/hott3

   HoTT in Lean 3

   Lean

6. lean2 lean2 Public

   Forked from leanprover/lean2

   Lean theorem prover version 0.2 (it supports standard and HoTT modes)

   C++