Popular repositories Loading

1. automated-theory-construction-lean automated-theory-construction-lean Public

   A prototype framework for automated theory construction in Lean 4.

   Python 4

2. FOF FOF Public

   learn proof tactics in classical logic by llm

   Python 2

3. Lean_dojo_playground Lean_dojo_playground Public

   Python 1

4. pangram_kenlm pangram_kenlm Public

   Jupyter Notebook 1

5. GeoLean GeoLean Public

   A Lean Library for Axiomatic Geometry(WIP)

   Lean

6. lean-example lean-example Public

   Lean