Pinned Loading

1. JOSHCLUNE/LeanHammer JOSHCLUNE/LeanHammer Public

   LeanHammer is an automated reasoning tool for Lean that brings together multiple proof search and reconstruction techniques and combines them into one tool.

   Lean 94 9

2. cmu-l3/ntp-toolkit cmu-l3/ntp-toolkit Public

   Neural theorem proving toolkit: data extraction tools for Lean 4

   Lean 36 4

3. premise-selection premise-selection Public

   Lean 16 2

4. dreamhoi dreamhoi Public

   DreamHOI: Subject-Driven Generation of 3D Human-Object Interactions with Diffusion Priors

   Python 37 1

5. leanprover-community/mathlib4 leanprover-community/mathlib4 Public

   The math library of Lean 4

   Lean 3.5k 1.4k

6. LeanArchitect LeanArchitect Public

   LeanArchitect extracts a blueprint directly from Lean source.

   Lean 56 10