["size_categories:1K<n<10K", "format:parquet", "modality:text", "library:datasets", "library:pandas", "library:mlcroissant", "library:polars", "region:us"]
[{"name": "ref", "sequence": "int64"}, {"name": "openedNamespaces", "dtype": "string"}, {"name": "formalStatementFullname", "dtype": "string"}, {"name": "formalStatement", "dtype": "string"}, {"name": "formalProofFullname", "dtype": "string"}, {"name": "formalProof", "dtype": "string"}, {"name": "path", "dtype": "string"}]