feat: Port algebra/proofmode_classes.v (IsOp and related type classes)#401
Draft
alvinylt wants to merge 14 commits into
Draft
feat: Port algebra/proofmode_classes.v (IsOp and related type classes)#401alvinylt wants to merge 14 commits into
alvinylt wants to merge 14 commits into
Commits
Commits on May 21, 2026
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
