CoolFace
Datasetpublic

ReactiveAI/algebraic-stack-fixed

sourceHugging Faceupdated 9mo agoView on Hugging Face
0likes376downloads
rootgithub-coq
../
filetrain-00000-of-00002.parquet113.6 MBdownload
filetrain-00001-of-00002.parquet111.7 MBdownload
filevalidation-00000-of-00001.parquet2.9 MBdownload

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