1. Affeldt R, Cohen C, Kerjean M, Mahboubi A, Rouhling D, Sakaguchi K (2020) Competing inheritance paths in dependent type theory: a case study in functional analysis. In: Peltier N, Sofronie-Stokkermans V (eds) International joint conference on automatated reasoning (IJCAR) 2020. Springer, Berlin, pp 3–20
2. Asperti A, Ricciotti W, Coen CS, Tassi E (2009) Hints in unification. In: Berghofer S, Nipkow T, Urban C, Wenzel M (eds) Theorem proving in higher order logics (TPHOLs) 2009. Springer, Berlin, pp 84–98
3. Avigad J (2006) Mathematical method and proof. Synthese 153(1):105–159
4. Avigad J (2018) The mechanization of mathematics. Not Am Math Soc 65(6):681–690
5. Avigad J (2020) Modularity in mathematics. Rev Symb Log 13(1):47–79