Mathematical vernacular in type theory based proof assistants. / Callaghan, P.; Luo, Z.

User Interfaces for Theorem Provers (UITP'98). 1998.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Published
Original languageEnglish
Title of host publicationUser Interfaces for Theorem Provers (UITP'98)
Publication statusPublished - 1998

ID: 1775131