Skip to content

Opaque FreeCommAlgebra#1089

Draft
MatthiasHu wants to merge 11 commits into
agda:masterfrom
MatthiasHu:opaque-FreeCommAlgebra
Draft

Opaque FreeCommAlgebra#1089
MatthiasHu wants to merge 11 commits into
agda:masterfrom
MatthiasHu:opaque-FreeCommAlgebra

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants