Hugging Face's logo

dappalumbo91
/
pflt-fsot

Translation
custom
offline
fsot
linguistics
machine-translation
evaluation
sacrebleu
ada
classical-languages
Eval Results (legacy)
Model card Files
xet
 Community
pflt-fsot / certified_math.py

Commit History

v0.2.1: FULL verification source tree (Ada + Python factory + docs + formal)
1c6f7c7
verified

dappalumbo91 commited on