A Tree-Based, Graphical Interface for Large Proof Development (1994)

Cached

Download Links

by Tom Schubert , John Biggs
Venue:In 1994 International Workshop on the HOL Theorem Proving System and its Applications
Citations:6 - 0 self