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

6likes1kdownloads

rootvalidation

../

fileagda-validation.parquet141 KBdownload

filec-validation.parquet101 KBdownload

filecpp-validation.parquet4.1 MBdownload

filefortran-validation.parquet2.8 MBdownload

filegap-validation.parquet31 KBdownload

filegithub-coq-validation-0000.parquet3.0 MBdownload

filegithub-isabelle-validation-0000.parquet1.1 MBdownload

filegithub-lean-validation-0000.parquet1.1 MBdownload

filegithub-MATLAB-validation-0000.parquet1.2 MBdownload

filehaskell-validation.parquet64 KBdownload

fileidris-validation.parquet90 KBdownload

fileisa_proofsteps.parquet1.1 MBdownload

filejulia-validation.parquet2.9 MBdownload

filejupyter-notebook-validation.parquet957 KBdownload

filelean_proofsteps.parquet94 KBdownload

filemaple-validation.parquet29 KBdownload

filepython-validation.parquet34.2 MBdownload

filer-validation.parquet448 KBdownload

filetex-validation.parquet4.6 MBdownload

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