Nine chapters of analytic number theory in Isabelle/HOL. (English) Zbl 07649965
Harrison, John (ed.) et al., 10th international conference on interactive theorem proving, ITP 2019, September 9–12, 2019, Portland, OR, USA. Proceedings. Wadern: Schloss Dagstuhl – Leibniz-Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 141, Article 16, 19 p. (2019).
MSC:
68V20