Goedel-LM.Goedel-Prover-V2-32B-GGUF/configuration.json

{"framework": "pytorch", "task": "text-generation", "allow_remote": true}