CoolFace
Datasetpublic

AkameV6p5/lean4-cot-3k

sourceHugging Faceupdated 1mo agoView on Hugging Face
0likes22downloads
root
dirdata/
file.gitattributes2 KBdownload
fileREADME.md225 Bdownload

AkameV6p5/lean4-cot-3k · main · files are served by the source, never re-hosted here