Goedel-LM
/

Goedel-Prover-V2-32B

Text Generation

text-generation-inference

Model card Files Files and versions

Resources

View closed (2)

Improve metadata 🤗

#3 opened 17 days ago by

Lean version

#2 opened 21 days ago by