Repository navigation
Estate standardization 20260607 - #310
Closed
hyperpolymath wants to merge 27 commits into
Closed
hyperpolymath wants to merge 27 commits into
hyperpolymath wants to merge 27 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
Commits on Jun 7, 2026
