CoolFace
Datasetpublic

bigcode/commits-8192

sourceHugging Faceupdated 3y agoView on Hugging Face
3likes64downloads
rootdatacoqcoq-0001.jsonl
coq-0001.jsonl4 linesDownload Raw Back to coq
1version https://git-lfs.github.com/spec/v12oid sha256:267e810fb2e6a0733d7a77499aa26f63f089b39146dfea06d97f855f12cb6ea83size 1514334