DMCA

Foundational Proof Certificates Making proof universal and permanent

by Dale Miller