Slim205/Lean_conjecturer_data_v02 download history
Slim205/Lean_conjecturer_data_v02 is a dataset on the Hugging Face Hub. In the last 30 days it was downloaded 27 times (5 in the last 7 days), and 274 times in total. It ranks #297,781 among datasets by monthly downloads.