Foundational proof checkers with small witnesses.

Dinghao Wu, Andrew W. Appel, Aaron Stump

Browse the full PPDP paper archive.