visproj/proofkit-distilled-qwen0.5b-gguf: Model from Hugging Face: visproj/proofkit-distilled-qwen0.5b-gguf License: apache-2.0. external Hugging Face metadata. Scan: pending.
Open interactive artifact page