The Formal
Era
· Spec Hub
Models
Lemma Hub
Advisories
Docs
Model Specs
Lean 4 specifications of public models, with compute graphs, domains and conformance status.
Qwen/Qwen3-0.6B
qwen3 · 28 layers · 15 graph nodes
@1.0.0
cross-check: not run
Qwen/Qwen3.8-27B
qwen3_5 · 64 layers · 21 graph nodes
@1.0.0
cross-check: not run
google/gemma-4-12B
gemma4 · 48 layers · 18 graph nodes
@1.0.0
cross-check: not run
google/gemma-4-31B
gemma4 · 60 layers · 18 graph nodes
@1.0.0
cross-check: not run
ibm-granite/granite-4.2-30b
granite · 64 layers · 14 graph nodes
@1.0.0
cross-check: not run
ibm-granite/granite-4.2-3b
granite · 40 layers · 14 graph nodes
@1.0.0
cross-check: not run
ibm-granite/granite-4.2-8b
granite · 40 layers · 14 graph nodes
@1.0.0
cross-check: not run
meta-models/Muse-Glimmer-30B
muse_glimmer · 52 layers · 18 graph nodes
@1.0.0
cross-check: not run