Foundational Proof Checkers with Small Witnesses (2003)

Cached

Download Links

by Dinghao Wu , Andrew W. Appel , Aaron Stump
Citations:21 - 6 self