amitayusht
/

ProofWala-Lean

Text Generation

theorem-proving

text2text-generation

Model card Files Files and versions

ProofWala-Lean / tokenizer.json

amitayusht's picture

Upload folder using huggingface_hub

a1abe68 verified over 1 year ago

Raw History Contribute Delete

1.37 MB

File too large to display, you can check the raw version instead.