research
∙
04/03/2018
On the Calculation of Fundamental Groups in Homotopy Type Theory by Means of Computational Paths
One of the most interesting entities of homotopy type theory is the iden...
share
research
∙
03/02/2018