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

Cached

Download Links

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