Pinned

1. flypitch flypitch Public

   Forked from flypitch/flypitch

   A formal proof of the independence of the continuum hypothesis

   Lean

2. lean-gptf lean-gptf Public

   Interactive neural theorem proving in Lean

   Lean 108 6

3. lean-tpe-public lean-tpe-public Public

   The Lean Theorem Proving Environment

   Lean 13 4

4. lean-step-public lean-step-public Public

   Proof artifact co-training for Lean

   Lean 37 10

5. colada-parser colada-parser Public

   A parser for Colada, a controlled natural language for the calculus of inductive constructions

   Haskell 1

6. lean-parser-combinators lean-parser-combinators Public

   Monadic parser combinators, in Lean

   Lean 4