CoolFace
Apppublic

igriv/aristotle-prover

sourceHugging Faceupdated 7mo agoView on Hugging Face
0likes
root
file.gitattributes1 KBdownload
fileapp.py9 KBdownload
fileREADME.md88 Bdownload
filerequirements.txt20 Bdownload

igriv/aristotle-prover · main · files are served by the source, never re-hosted here