53 Downloads Updated 5 months ago
Name
3 models
Size
Context
Input
goedel-prover-v2:latest
8.7GB · 40K context window · Text · 5 months ago
8.7GB
40K
Text
goedel-prover-v2:8b
Goedel-Prover-V2:32b
33GB · 40K context window · Text · 5 months ago
33GB