feat: deprecate Iris/Std/Classes.lean and reuse definitions from core libraries#518
Open
alvinylt wants to merge 6 commits into
Open
feat: deprecate Iris/Std/Classes.lean and reuse definitions from core libraries#518alvinylt wants to merge 6 commits into
alvinylt wants to merge 6 commits into
Commits
Commits on Jul 15, 2026
- committed
- committed
- committed
- committed
- committed
- committed
