feat(canonical): 🌻 Stub 47 mirror Coq files → Trinity Canonical Coq Home (companion to t27#569)#433
Open
gHashTag wants to merge 1 commit into
Open
feat(canonical): 🌻 Stub 47 mirror Coq files → Trinity Canonical Coq Home (companion to t27#569)#433gHashTag wants to merge 1 commit into
gHashTag wants to merge 1 commit into
Commits
Commits on Apr 30, 2026
- authored andcommitted
