formal-applied-math on Hugging Face: downloads and rankings

formal-applied-math has 1 datasets, downloaded 309 times in the last 30 days. formal-applied-math Wrapped: the last 12 months.

Datasets by downloads in the last 30 days

1. formal-applied-math/formal-mathfin-theorems 309 downloads

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