Formalizing $\pi_4(\mathbb{S}^3) \cong \mathbb{Z}/2\mathbb{Z}$ and Computing a Brunerie Number in Cubical Agda (Q6425029)
From MaRDI portal
scientific article; zbMATH DE number 900578364
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Formalizing $\pi_4(\mathbb{S}^3) \cong \mathbb{Z}/2\mathbb{Z}$ and Computing a Brunerie Number in Cubical Agda |
scientific article; zbMATH DE number 900578364 |
Statements
31 January 2023
0 references
math.AT
0 references
cs.LO
0 references
