Bingham, Jesse. 2011. “Formalizing a Proof That E Is Transcendental”. Journal of Formalized Reasoning 4 (1):71-84. https://doi.org/10.6092/issn.1972-5787/2269.