Mathematical Vernacular in Type Theory-based Proof Assistants (1998)
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 |
