Hugging Face model: alessandrorumampuk/goedel-prover-v2
Author: alessandrorumampuk
Created: 2025-07-20 23:07:27
Last modified: 2025-07-21 05:33:18
Likes: 0 | Downloads: 2
Tags: gguf, endpoints_compatible, region:us, conversational
Card metadata: