Pages that link to "Item:Q4635917"
From MaRDI portal
The following pages link to A Mechanization of the Blakers-Massey Connectivity Theorem in Homotopy Type Theory (Q4635917):
Displaying 6 items.
- The James construction and \(\pi _4(\mathbb{S}^{3})\) in homotopy type theory (Q2319987) (← links)
- Internal languages of finitely complete \((\infty , 1)\)-categories (Q2414596) (← links)
- An introduction to univalent foundations for mathematicians (Q4684362) (← links)
- (Q5114825) (← links)
- Modalities in homotopy type theory (Q5208873) (← links)
- Strange new universes: Proof assistants and synthetic foundations (Q6130525) (← links)
