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.