![](/img/cover-not-exists.png)
The James Construction and $$\pi _4(\mathbb {S}^{3})$$π4(S3) in Homotopy Type Theory
Brunerie, GuillaumeLanguage:
english
Journal:
Journal of Automated Reasoning
DOI:
10.1007/s10817-018-9468-2
Date:
June, 2018
File:
PDF, 570 KB
english, 2018