Axel Ljungström
Publications
Talks
Teaching
Miscellaneous
CV

Axel Ljungström

Ph.D. student in type theory at Stockholm University, Department of Mathematics

Stockholm, Sweden
Email
Twitter
Github
ORCID

Formalizing π₄(S³) ≅ ℤ/2ℤ and Computing a Brunerie Number in Cubical Agda

Date: June 29, 2022

Share on

Twitter Facebook LinkedIn

Follow:
GitHub
Feed

© 2025 Axel Ljungström. Powered by Jekyll & AcademicPages, a fork of Minimal Mistakes.