External Links

    Journal: J. Formalized Reasoning

    Volume 2, Issue 1

    1 -- 26Ricky W. Butler. Formalization of the Integral Calculus in the PVS Theorem Prover
    27 -- 39Cezary Kaliszyk, Russell O'Connor. Computing with Classical Real Numbers
    41 -- 62Matthieu Sozeau. A New Look at Generalized Rewriting in Type Theory
    63 -- 83John Harrison. A formalized proof of Dirichlet's theorem on primes in arithmetic progression
    runs on