@misc{Ros24,
  author    = "Rosain, Johann",
  title     = "Analyzing Proof Terms in Homotopical Type Theory: Toward Better Proofs",
  howpublished = "\url{http://perso.ens-lyon.fr/johann.rosain/upload/reports/m1-proof-terms.pdf}"
  month     = "August",
  year      = 2024,
}