phanerozoic/

Lean4-Stdlib

Structured dataset of definitions and theorems from the Lean 4 standard library (Init + Std).

Repository: https://github.com/leanprover/lean4 Commit: d265d1ca745e7741a7e7f7366c22ce9c9dda57b6 Files: 1071 License: apache-2.0

	Schema




	

Column Type Description

statement string Declaration signature/claim with the leading keyword removed (verbatim slice); the full declaration minus its proof

proof string Verbatim… See the full description on the dataset page: https://huggingface.co/datasets/phanerozoic/Lean4-Stdlib.