phanerozoic/TLA-Plus download history
phanerozoic/TLA-Plus is a text generation dataset on the Hugging Face Hub. In the last 30 days it was downloaded 27 times (4 in the last 7 days), and 403 times in total. It ranks #297,781 among datasets by monthly downloads.
TLA-Plus Structured dataset of TLA+ specifications from the official TLA+ Examples repository. Source Repository: https://github.com/tlaplus/Examples Commit: 47b0e2cc0268836b89f5ce451f38e5df5f1cf773 Files: 408 License: mit Schema Column Type Descr