Faster Proof Checking in the Edinburgh Logical Framework (2002)

Cached

Download Links

by Aaron Stump , David L. Dill
Venue:In 18th International Conference on Automated Deduction
Citations:17 - 3 self