Picture for Jeremy Avigad

Jeremy Avigad

ProofNet: Autoformalizing and Formally Proving Undergraduate-Level Mathematics

Add code
Feb 24, 2023
Figure 1 for ProofNet: Autoformalizing and Formally Proving Undergraduate-Level Mathematics
Figure 2 for ProofNet: Autoformalizing and Formally Proving Undergraduate-Level Mathematics
Figure 3 for ProofNet: Autoformalizing and Formally Proving Undergraduate-Level Mathematics
Figure 4 for ProofNet: Autoformalizing and Formally Proving Undergraduate-Level Mathematics
Viaarxiv icon

A formally verified proof of the prime number theorem

Add code
Apr 06, 2006
Viaarxiv icon