Skip to content

Merge branch 'master' into zliu/algebra-bigop-monoid

5bc41cc
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
Merged

feat: Port algebra/monoid.v and algebra/big_op.v #132

Merge branch 'master' into zliu/algebra-bigop-monoid
5bc41cc
Select commit
Loading
Failed to load commit list.

Annotations

1 warning
build
succeeded Mar 16, 2026 in 1m 35s