Estate standardization 20260607#310
Closed
hyperpolymath wants to merge 27 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
