E. Riehl

activity

20092026

most citedSix model structures for DG-modules over DGAs: Model category theory in homological action

46 citations · 283 across the 29 of their papers we have counts for

collaborators

Showing 2026 · math.ATShow all

1 paper · 2 filters

math.AT2026

Autoformalizing the calculation of $π_{3} (S^{2})$

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 $π_{3} (S^{2})$ in agda-unimath using Codex.

Autoformalizing the calculation of π3​(S2)

Autoformalizing the calculation of $π_{3} (S^{2})$