CoolFace
Datasetpublic

ReactiveAI/algebraic-stack-fixed

sourceHugging Faceupdated 9mo agoView on Hugging Face
0likes376downloads
rootgithub-isabelle
../
filetrain-00000-of-00002.parquet110.0 MBdownload
filetrain-00001-of-00002.parquet108.1 MBdownload
filevalidation-00000-of-00001.parquet1.1 MBdownload

ReactiveAI/algebraic-stack-fixed · main · files are served by the source, never re-hosted here