Nuevo número de “Journal of Formalized Reasoning” (Vol 2, No 1)

Recientemente se ha publicado un . Contiene dos artículos con formalizaciones de conocimiento matemático:

• Formalization of the Integral Calculus in the PVS Theorem Prover de Ricky Wayne Butler.
• A formalized proof of Dirichlet’s theorem on primes in arithmetic progression de John Harrison.