Pinned Loading

1. Tool for data extraction and interacting with Lean programmatically.

   Python 789 117

2. A Learning Environment for Theorem Proving with the Coq proof assistant

   Coq 415 52

3. Retrieval-Augmented Theorem Provers for Lean

   Python 322 70

4. EMNLP 2022: Generating Natural Language Proofs with Verifier-Guided Search https://arxiv.org/abs/2205.12443

   Python 86 15

5. ChatGPT plugin for theorem proving in Lean

   Python 124 15

6. LLMs as Copilots for Theorem Proving in Lean

   C++ 1.3k 123