Slim205/Lean_conjecturer_data_v01 download history
Slim205/Lean_conjecturer_data_v01 is a dataset on the Hugging Face Hub. In the last 30 days it was downloaded 17 times (4 in the last 7 days), and 242 times in total. It ranks #417,311 among datasets by monthly downloads.