feat: Port the list part of bi/big_op.v#168
Merged
markusdemedeiros merged 25 commits intoleanprover-community:masterfrom Mar 30, 2026
Merged
feat: Port the list part of bi/big_op.v#168markusdemedeiros merged 25 commits intoleanprover-community:masterfrom
bi/big_op.v#168markusdemedeiros merged 25 commits intoleanprover-community:masterfrom
Commits
Commits on Mar 18, 2026
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
Commits on Mar 22, 2026
- committed
- committed
- committed
- committed
Commits on Mar 24, 2026
- committed
- committed
Commits on Mar 25, 2026
- committed
- committed
Commits on Mar 30, 2026
- committed
