Popular repositories Loading

1. llmlean llmlean Public

   LLMs + Lean, on your laptop or in the cloud

   Lean 115 13

2. ntptutorial-II ntptutorial-II Public

   Neural theorem proving tutorial, version II

   Jupyter Notebook 28 5

3. ntp-toolkit ntp-toolkit Public

   Neural theorem proving toolkit: data extraction tools for Lean 4

   Lean 11 2

4. minictx-eval minictx-eval Public

   Neural theorem proving evaluation via the Lean REPL

   Python 9 1

5. minicodeprops-eval minicodeprops-eval Public

   Evaluation for miniCodeProps: a Minimal Benchmark for Proving Code Properties

   Lean 1