alessandrorumampuk/
Goedel-Prover-V2:32b

52 5 months ago

8b 32b

5 months ago

a1f03b5332d4 · 33GB ·

model
qwen3
·
8.19B
·
F32
system
You are a friendly assistant.

Readme

No readme