Pinned Loading

1. the1lab/1lab the1lab/1lab Public

   A formalised, cross-linked reference resource for mathematics done in Homotopy Type Theory

   Agda 411 87

2. refinery refinery Public

   ⛏️ A refinement proof framework for haskell

   Haskell 70 3

3. RedPRL/cooltt RedPRL/cooltt Public

   😎TT

   OCaml 236 14

4. agda-tic-tac-toe agda-tic-tac-toe Public

   Tic Tac Toe, formalized in Agda

   Agda 23 1

5. lean-rz lean-rz Public

   Realizability theory in lean

   Lean 5 1

6. sinhp/HoTTLean sinhp/HoTTLean Public

   Lean 47 11