alessandrorumampuk/
Goedel-Prover-V2:latest

53 5 months ago

8b 32b

5 months ago

8704c8b906ef · 8.7GB ·

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

Readme

No readme