Vol. 2 No. 1 (2009)

Articles

• Formalization of the Integral Calculus in the PVS Theorem Prover

  Ricky Wayne Butler

  1 - 26

  • PDF

• Computing with Classical Real Numbers

  Cezary Kaliszyk, Russell O'Connor

  27-39

  • PDF

• A New Look at Generalized Rewriting in Type Theory

  Matthieu Sozeau

  41-62

  • PDF

• A formalized proof of Dirichlet's theorem on primes in arithmetic progression

  John Harrison

  63-83

  • PDF