## 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 |