, Intel corporation, United States
-
Journal of Formalized Reasoning Vol. 2 No. 1 (2009) - Articles
A formalized proof of Dirichlet's theorem on primes in arithmetic progression
Abstract PDF -
Journal of Formalized Reasoning Vol. 4 No. 1 (2011) - Articles
Formalizing a Proof that e is Transcendental
Abstract PDF