A Proof Development System for the HOL Theorem Prover (1993)

Cached

Download Links

by Laurent Théry
Citations:7 - 0 self