Universal Algebra in UniMath (Q6504361)
From MaRDI portal
scientific article; zbMATH DE number 900472393
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Universal Algebra in UniMath |
scientific article; zbMATH DE number 900472393 |
Statements
Universal Algebra in UniMath (English)
0 references
1 January 1 CEGregorian
0 references
