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

Document Versions

Mathematical Vernacular in Type Theory-based Proof Assistants –Paul Callaghan, Zhaohui Luo — 1998 — Workshop on User Interfaces in Theorem Proving