phanerozoic/TLA-Plus

Name: phanerozoic/TLA-Plus
Creator: phanerozoic
License: mit
Keywords: dataset, text-generation, text, datasets, dataset, huggingface-import, external-catalog, dataset, mit, task_categories:text-generation, task_categories:feature-extraction, language:en, license:mit, size_categories:1k<n<10k, format:parquet, modality:text, library:datasets, library:pandas, library:polars, library:mlcroissant, region:us, theorem-proving, formal-methods

phanerozoic/TLA-Plus: Dataset from Hugging Face: phanerozoic/TLA-Plus License: mit. external Hugging Face metadata. Scan: pending.

License: mit
Scan status: pending
Hosting status: external
Upstream: phanerozoic/TLA-Plus

Open interactive artifact page