Slim205/lean_workbook_goedel download history

Slim205/lean_workbook_goedel is a dataset on the Hugging Face Hub. In the last 30 days it was downloaded 16 times (2 in the last 7 days), and 197 times in total. It ranks #434,073 among datasets by monthly downloads.

Open Slim205/lean_workbook_goedel on Hugging Face

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