Mathematical Vernacular in Type Theory-based Proof Assistants (1998)

Cached

Download Links

by Paul Callaghan , Zhaohui Luo
Venue:Workshop on User Interfaces in Theorem Proving
Citations:3 - 2 self