A trustworthy proof checker (0)

by A W Appel, N G Michael, A Stump, R Virga
Venue:Journal of Automated Reasoning