Summary of Philip Walder’s “Proofs are Programs”

 

Moved to here

Advertisements