Math· formal-proof
LeanDojo
Caltech / NVIDIA · 2023
98,734 theorems and proofs from Lean mathlib with premise annotations for retrieval-augmented theorem proving.
Mathematics
Examples
No sample rows available for this dataset.
Caltech / NVIDIA · 2023
98,734 theorems and proofs from Lean mathlib with premise annotations for retrieval-augmented theorem proving.
No sample rows available for this dataset.