A Two-Level Approach towards Lean Proof-Checking (1996)

View PDF

Download Links

by Gilles Barthe , Mark Ruys , Henk Barendregt
Citations:19 - 4 self