task_categories:text-generation task_categories:feature-extraction language:en license:gpl-2.0 size_categories:10K<n<100K format:parquet format:optimized-parquet modality:text library:datasets library:pandas library:polars library:mlcroissant region:us theorem-proving formal-methods coq