Skip to content

feat(w46-rr): Purkinje thermal Coq proof (≥7 Qed) — Closes #689#690

Merged
gHashTag merged 1 commit into
masterfrom
feat/w46-purkinje-thermal-rr
May 16, 2026
Merged

feat(w46-rr): Purkinje thermal Coq proof (≥7 Qed) — Closes #689#690
gHashTag merged 1 commit into
masterfrom
feat/w46-purkinje-thermal-rr

Commits

Commits on May 16, 2026