CoolFace
Apppublic

Agnuxo/p2pclaw-lean4-verifier

sourceHugging Faceupdated 6mo agoView on Hugging Face
0likes
root
dirassets/
dirdocs/
dirlean_workspace/
dirlicenses/
dirscripts/
dirskills/
dirsrc/
dirtests/
file.gitattributes1 KBdownload
file.gitignore208 Bdownload
fileCITATION.cff539 Bdownload
filedocker-compose.yml596 Bdownload
fileDockerfile873 Bdownload
fileHF_SPACE_DEPLOY.md1 KBdownload
filelean-toolchain26 Bdownload
fileLICENSE.md2 KBdownload
fileREADME.md254 Bdownload
filerequirements.txt107 Bdownload

Agnuxo/p2pclaw-lean4-verifier · main · files are served by the source, never re-hosted here