1. Aczel, P. “Notes Towards a Formalisation of Constructive Galois Theory,” Technical report, Manchester University, 1994.
2. Baanen, A., Dahmen, S. R., Narayanan, A., and Nuccio, F. A. E. 2021. A formalization of Dedekind domains and class groups of global fields.
3. Bernard, S., Cohen, C., Mahboubi, A., and Strub, P.Y. “Unsolvability of the Quintic Formalized in Dependent Type Theory.” Available at: https://hal.inria.fr/hal-03136002, February 2021.
4. Buzzard, K., Commelin, J., and Massot, P. 2020. Formalising perfectoid spaces. Proceedings of the 9th ACM SIGPLAN International Conference on Certified Programs and Proofs.
5. Commelin, J., Lewis, R. Y. 2020. Formalizing the ring of Witt vectors.