1 citations · 1 across the 3 of their papers we have counts for
3 papers
math.AT2026
Autoformalizing the calculation of
Daniel Carranza, Chunyi Liu, Emily Riehl +1
We report our findings and the results of our experiment of autoformalizing the homotopy type theoretic computation of in agda-unimath using Codex.
math.GR2023
Delooping the sign homomorphism in univalent mathematics
Éléonore Mangel, Egbert Rijke
In univalent mathematics there are at least two equivalent ways to present the category of groups. Groups presented in their usual algebraic form are called abstract groups, and gr…
math.AT2016★ 1 cited
The Cayley-Dickson Construction in Homotopy Type Theory
Ulrik Buchholtz, Egbert Rijke
We define in the setting of homotopy type theory an H-space structure on . Hence we obtain a description of the quaternionic Hopf fibration $\mathbb S^3\hookrightarrow…