formalica on Hugging Face: downloads and rankings

formalica has 2 datasets, downloaded 636 times in the last 30 days. formalica Wrapped: the last 12 months.

Datasets by downloads in the last 30 days

1. formalica/lean4oeis 619 downloads
2. formalica/lean4oeis-working-dbs 17 downloads

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