Skip to content

feat(phd): defense pack (Popper + Coq map + page audit) for 2026-06-15#790

Merged
gHashTag merged 1 commit into
mainfrom
feat/phd-defense-pack
May 19, 2026
Merged

feat(phd): defense pack (Popper + Coq map + page audit) for 2026-06-15#790
gHashTag merged 1 commit into
mainfrom
feat/phd-defense-pack

Commits

Commits on May 19, 2026