-
Notifications
You must be signed in to change notification settings - Fork 0
Pull requests: gHashTag/trinity-s3ai
Author
Label
Projects
Milestones
Reviews
Assignee
Sort
Pull requests list
Wave 8.1: A4Bridge.v — a4 bridge analysis, Boundary Theorem BT-8
#47
opened Jun 22, 2026 by
gHashTag
Owner
Loading…
feat(coq): Wave 8.5 — discharge first-order condition axiom
#46
opened Jun 22, 2026 by
gHashTag
Owner
Loading…
feat(coq): Wave 8.3 e^2 origin investigation in m_H formula
#45
opened Jun 22, 2026 by
gHashTag
Owner
Loading…
feat(coq): Wave 8.4 — discharge cell600_J_off_diagonal_KO6 axiom (Strategy A)
#44
opened Jun 22, 2026 by
gHashTag
Owner
Loading…
paper: reconstructed Vasilev-Pellis-Olsen short paper + reproducibility capsule
#43
opened May 29, 2026 by
gHashTag
Owner
Loading…
ProTip!
Type g p on any issue or pull request to go back to the pull request listing page.