iiis-lean on Hugging Face: downloads and rankings

iiis-lean has 3 datasets, downloaded 2,164 times in the last 30 days. iiis-lean Wrapped: the last 12 months.

Datasets by downloads in the last 30 days

1. iiis-lean/NuminaMath-LEAN-Sol 1K downloads
2. iiis-lean/NuminaMath-LEAN-Proof-Artifacts 861 downloads
3. iiis-lean/lean-math-formal-corpus 267 downloads

Sister project: Paper Pulse, the upvote history of every Hugging Face Daily Paper.