A Generic Approach to Building User Interfaces for Theorem Provers (1995)

Cached

Download Links

by Yves Bertot , Laurent Théry
Venue:JOURNAL OF SYMBOLIC COMPUTATION
Citations:28 - 8 self