Hugging Face
Models
Datasets
Spaces
Buckets
new
Docs
Enterprise
Pricing
Website
Tasks
HuggingChat
Collections
Languages
Organizations
Community
Blog
Posts
Daily Papers
Hardware
Learn
Discord
Forum
GitHub
Solutions
Team & Enterprise
Hugging Face PRO
Enterprise Support
Inference Providers
Inference Endpoints
Storage Buckets
Log In
Sign Up
dappalumbo91
/
pflt-fsot
like
0
Translation
wmt/wmt14
Helsinki-NLP/opus-mt
18 languages
custom
offline
fsot
linguistics
machine-translation
evaluation
sacrebleu
ada
classical-languages
Eval Results (legacy)
License:
apache-2.0
Model card
Files
Files and versions
xet
Community
Copy to bucket
new
main
pflt-fsot
/
formal
/
lean
3.96 kB
Ctrl+K
Ctrl+K
1 contributor
History:
1 commit
dappalumbo91
v0.2.1: FULL verification source tree (Ada + Python factory + docs + formal)
1c6f7c7
verified
11 days ago
PFLTGoldenAsserts.lean
Safe
3.96 kB
v0.2.1: FULL verification source tree (Ada + Python factory + docs + formal)
11 days ago
