Repository navigation
Claude/adoring gates e57 wg - #216
Closed
hyperpolymath wants to merge 29 commits into
Closed
hyperpolymath wants to merge 29 commits into
hyperpolymath wants to merge 29 commits into
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
Commits on May 26, 2026
