mathlib-initiative/mathlib-types

Mathlib Types This dataset contains information about types defined in Mathlib, the mathematical library for the Lean 4 theorem prover, extracted with lean_scout. Extracted from the Mathlib commit with the following hash. 0df444a360eaa60ab8c11dca51a86af692955474 The dataset follows this schema: fields: - type: datatype: string nullable: false name: name - type: datatype: string nullable: true name: module - type: datatype: string nullable: false name:… See the full description on the dataset page: https://huggingface.co/datasets/mathlib-initiative/mathlib-types.