feat(canonical): 🌻 Stub 7 mirror files → Trinity Canonical Coq Home (companion to t27#569)#1

Open

gHashTag wants to merge 1 commit intomainfrom

feat/coq-stubs-canonical

Commits on Apr 30, 2026

feat(canonical): 🌻 Stub mirror files → Require Export Trinity.Canonical.*

authored and
trinity-canonical
committed