LeanDojo
Collection
Machine learning for theorem proving in Lean: https://leandojo.org/
•
10 items
•
Updated
•
1
ct2-transformers-converter --model aware-ai/byt5-german-grammar --output_dir ct2-byt5-german-grammar