1. Complex Analysis
2. Bordg, A., Paulson C., L. and Li, W. Grothendieck’s Schemes in Algebraic Geometry, Archive of Formal Proofs (2021), formal proof development, Available at: https://isa-afp.org/entries/Grothendieck_Schemes.html.
3. Bordg, A., Paulson C., L. and Li, W. (2021). Simple Type Theory is not too Simple: Grothendieck’s Schemes without Dependent Types, arXiv:2104.09366.