search

mortberg / cubicaltt

Experimental implementation of Cubical Type Theory
https://arxiv.org/abs/1611.02108
MIT License
571 stars 76 forks source link

The n-th homotopy group of the n-sphere is the integers? #31

Closed markfarrell closed 8 years ago

markfarrell commented 8 years ago

An idea for an example: prove that the n-th homotopy group of the n-sphere is the integers?