Datasets:

mathlib-initiative
/

mathlib-types

Modalities:

Formats:

Languages:

Size:

Tags:

theorem-proving

formal-mathematics

Libraries:

License:

Dataset card Data Studio Files Files and versions

1 contributor

History: 7 commits

adamtopaz's picture

Upload Mathlib dataset v4.33.1

f6ac3b5 verified 2 days ago