Static and user-extensible proof checking.

Antonis Stampoulis, Zhong Shao

Browse the full POPL paper archive.