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

roottrain

../

fileagda0000.parquet30.2 MBdownload

filec0000.parquet20.7 MBdownload

filecpp0000.parquet165.8 MBdownload

filecpp0001.parquet166.5 MBdownload

filecpp0002.parquet166.6 MBdownload

filecpp0003.parquet166.9 MBdownload

filecpp0004.parquet104.9 MBdownload

filefortran0000.parquet183.3 MBdownload

filefortran0001.parquet179.8 MBdownload

filefortran0002.parquet179.9 MBdownload

filefortran0003.parquet43.2 MBdownload

filegap0000.parquet2.8 MBdownload

filegithub-coq-train-0000.parquet229.0 MBdownload

filegithub-coq-train-0001.parquet1 KBdownload

filegithub-coq-train-0002.parquet1 KBdownload

filegithub-isabelle-train-0000.parquet219.7 MBdownload

filegithub-lean-train-0000.parquet151.2 MBdownload

filegithub-MATLAB-train-0000.parquet75.5 MBdownload

filegithub-MATLAB-train-0001.parquet1 KBdownload

filegithub-MATLAB-train-0002.parquet1 KBdownload

filegithub-MATLAB-train-0003.parquet1 KBdownload

filehaskell0000.parquet10.2 MBdownload

fileidris0000.parquet11.7 MBdownload

fileisa_proofsteps.parquet195.4 MBdownload

filejulia0000.parquet91.0 MBdownload

filejulia0001.parquet91.1 MBdownload

filejulia0002.parquet90.8 MBdownload

filejulia0003.parquet91.0 MBdownload

filejulia0004.parquet91.7 MBdownload

filejulia0005.parquet77.6 MBdownload

filejupyter-notebook0000.parquet192.5 MBdownload

filelean_proofsteps.parquet21.9 MBdownload

filemaple0000.parquet1.9 MBdownload

filepython0000.parquet163.8 MBdownload

filepython0001.parquet165.1 MBdownload

filepython0002.parquet165.1 MBdownload

filepython0003.parquet163.9 MBdownload

filepython0004.parquet166.1 MBdownload

filepython0005.parquet165.2 MBdownload

filepython0006.parquet163.9 MBdownload

filepython0007.parquet163.9 MBdownload

filepython0008.parquet165.8 MBdownload

filepython0009.parquet164.3 MBdownload

filepython0010.parquet161.7 MBdownload

filepython0011.parquet165.7 MBdownload

filepython0012.parquet163.4 MBdownload

filepython0013.parquet165.4 MBdownload

filepython0014.parquet162.8 MBdownload

filepython0015.parquet163.5 MBdownload

filepython0016.parquet163.0 MBdownload

filepython0017.parquet163.1 MBdownload

filepython0018.parquet167.0 MBdownload

filepython0019.parquet164.2 MBdownload

filepython0020.parquet163.0 MBdownload

filepython0021.parquet164.7 MBdownload

filepython0022.parquet164.6 MBdownload

filepython0023.parquet165.2 MBdownload

filepython0024.parquet164.9 MBdownload

filepython0025.parquet162.2 MBdownload

filepython0026.parquet163.8 MBdownload

filepython0027.parquet164.0 MBdownload

filepython0028.parquet166.0 MBdownload

filepython0029.parquet165.5 MBdownload

filepython0030.parquet162.1 MBdownload

filepython0031.parquet163.5 MBdownload

filepython0032.parquet167.8 MBdownload

filepython0033.parquet163.7 MBdownload

filepython0034.parquet163.7 MBdownload

filepython0035.parquet165.5 MBdownload

filepython0036.parquet165.9 MBdownload

filepython0037.parquet163.7 MBdownload

filepython0038.parquet163.9 MBdownload

filepython0039.parquet164.7 MBdownload

filepython0040.parquet164.1 MBdownload

filepython0041.parquet141.6 MBdownload

filer0000.parquet72.8 MBdownload

filetex0000.parquet376.7 MBdownload

filetex0001.parquet372.7 MBdownload

filetex0002.parquet38.2 MBdownload

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