Original language | English |
---|---|

Title of host publication | User Interfaces for Theorem Provers (UITP'98) |

Publication status | Published - 1998 |

# Mathematical vernacular in type theory based proof assistants

P. Callaghan, Z. Luo

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution