Claude/adoring gates e57 wg#309
Closed
hyperpolymath wants to merge 29 commits into
Closed
Commits
Commits on May 24, 2026
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
proof(coq): step_preserves_type — close 4 cases fully, structure remaining 8 with LEFT branch closed
committed- committed
- committed
- committed
- committed
Commits on May 25, 2026
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
