Axel Ljungström | DeepAI

DeepAI

AI Chat AI Image Generator AI Video AI Music Voice Chat Studio Ghibli

Featured Co-authors

Anders Mörtberg
5 publications
Thomas Lamiaux
1 publication

research

∙ 02/01/2023

Formalizing π_4(𝕊^3) ≅ℤ/2ℤ and Computing a Brunerie Number in Cubical Agda

Brunerie's 2016 PhD thesis contains the first synthetic proof in Homotop...

0 Axel Ljungström, et al. ∙

research

∙ 12/08/2022

Computing Cohomology Rings in Cubical Agda

In Homotopy Type Theory, cohomology theories are studied synthetically u...

0 Thomas Lamiaux, et al. ∙