Popular repositories Loading

1. aeneas aeneas Public

   Forked from AeneasVerif/aeneas

   A verification toolchain for Rust programs

   OCaml

2. llmlean llmlean Public

   Forked from cmu-l3/llmlean

   LLMs + Lean, on your laptop or in the cloud

   Lean

3. LeanAide LeanAide Public

   Forked from siddhartha-gadgil/LeanAide

   Tools based on AI for helping with Lean 4

   Jupyter Notebook

4. DeepSeek-Prover-V1.5 DeepSeek-Prover-V1.5 Public

   Forked from deepseek-ai/DeepSeek-Prover-V1.5

   Python

5. minictx-eval minictx-eval Public

   Forked from cmu-l3/minictx-eval

   Neural theorem proving evaluation via the Lean REPL

   Python