Ngā tūemi rite

• Formalising and Computing the Fourth Homotopy Group of the $3$-Sphere in Cubical Agda
  mā: Ljungström, Axel, me ētahi atu.
  I whakaputaina: (2023)
• Symmetric Monoidal Smash Products in Homotopy Type Theory
  mā: Ljungström, Axel
  I whakaputaina: (2024)
• The Steenrod squares via unordered joins
  mā: Ljungström, Axel, me ētahi atu.
  I whakaputaina: (2025)
• The Category of Iterative Sets in Homotopy Type Theory and Univalent Foundations
  mā: Gratzer, Daniel, me ētahi atu.
  I whakaputaina: (2024)
• Ext groups in Homotopy Type Theory
  mā: Christensen, J. Daniel, me ētahi atu.
  I whakaputaina: (2023)