-
Notifications
You must be signed in to change notification settings - Fork 0
Pull requests: gHashTag/trinity-clara
Author
Label
Projects
Milestones
Reviews
Assignee
Sort
Pull requests list
proof: Coq theorem 85 — CLARA Gap-5 explainability_unit soundness
#5
opened May 16, 2026 by
gHashTag
Owner
Loading…
docs(clara): honest PhD/Coq provenance, fix proof-count contradictions
#4
opened May 13, 2026 by
gHashTag
Owner
Loading…
5 of 6 tasks
feat(canonical): 🌻 Stub 7 mirror files → Trinity Canonical Coq Home (companion to t27#569)
#1
opened Apr 30, 2026 by
gHashTag
Owner
Loading…
ProTip!
Filter pull requests by the default branch with base:main.