Construction of the circle in UniMath
| Autor: | Bezem, Marc, Buchholtz, Ulrik, Grayson, Daniel R., Shulman, Michael |
|---|---|
| Zdroj: | In Journal of Pure and Applied Algebra October 2021 225(10) |
| Databáze: | ScienceDirect |
| Externí odkaz: |
|
| Autor: | Bezem, Marc, Buchholtz, Ulrik, Grayson, Daniel R., Shulman, Michael |
|---|---|
| Zdroj: | In Journal of Pure and Applied Algebra October 2021 225(10) |
| Databáze: | ScienceDirect |
| Externí odkaz: |
|
Full Text from ScienceDirect