Datasetpublic

typeof/algebraic-stack

NOTE: Please see EleutherAI/proof-pile-2 This is a cherry-picked repackaging of the algebraic-stack segment from the proof-pile-2 dataset as parquet files License see EleutherAI/proof-pile-2 Citation see EleutherAI/proof-pile-2

sourceHugging Faceupdated 3y agoView on Hugging Face

6likes1.1kdownloads

roottest

../

fileagda-test.parquet189 KBdownload

filec-test.parquet125 KBdownload

filecpp-test.parquet4.3 MBdownload

filefortran-test.parquet3.8 MBdownload

filegap-test.parquet34 KBdownload

filegithub-coq-test-0000.parquet2.3 MBdownload

filegithub-isabelle-test-0000.parquet854 KBdownload

filegithub-lean-test-0000.parquet840 KBdownload

filegithub-MATLAB-test-0000.parquet1.3 MBdownload

filehaskell-test.parquet79 KBdownload

fileidris-test.parquet71 KBdownload

fileisa_proofsteps.parquet852 KBdownload

filejulia-test.parquet2.8 MBdownload

filejupyter-notebook-test.parquet1003 KBdownload

filelean_proofsteps.parquet51 KBdownload

filemaple-test.parquet25 KBdownload

filepython-test.parquet35.2 MBdownload

filer-test.parquet381 KBdownload

filetex-test.parquet3.7 MBdownload

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