phanerozoic/Arend download history
phanerozoic/Arend is a text generation dataset on the Hugging Face Hub. In the last 30 days it was downloaded 28 times (4 in the last 7 days), and 121 times in total. It ranks #289,218 among datasets by monthly downloads.
Arend Declarations from Arend. Source Repository: https://github.com/JetBrains/arend-lib Commit: 373ed3c493f40a6b7b04a6b81c4e809338e568c4 Files: 280 License: other Schema Column Type Description statement string Declaration signature/claim wi