["size_categories:100K<n<1M", "format:parquet", "modality:text", "library:datasets", "library:dask", "library:mlcroissant", "library:polars", "region:us"]
[{"name": "url", "dtype": "string"}, {"name": "commit", "dtype": "string"}, {"name": "file_path", "dtype": "string"}, {"name": "full_name", "dtype": "string"}, {"name": "start", "dtype": "string"}, {"name": "end", "dtype": "string"}, {"name": "tactic", "dtype": "string"}, {"name": "state_before", "dtype": "string"}, {"name": "state_after", "dtype": "string"}, {"name": "related_theorems", "list": [{"name": "Formal name", "dtype": "string"}, {"name": "Formal statement", "dtype": "string"}, {"name": "Informal name", "dtype": "string"}, {"name": "Informal statement", "dtype": "string"}]}]