TALK KEYWORD INDEX

This page contains an index consisting of author-provided keywords.

C | |

chat bot | |

Controlled Natural Language | |

D | |

Deductive interactive program verification | |

direct-manipulation interaction | |

F | |

first-order logic | |

focused sequent calculus | |

G | |

generic proof assistant | |

H | |

higher-order logic programming | |

I | |

interactive theorem prover | |

Isabelle | |

J | |

jEdit | |

L | |

lambda-prolog | |

M | |

Mathematical language | |

N | |

Natural language | |

P | |

proof assistant | |

Proof checking | |

Proof compression | |

Prover IDE | |

R | |

resolution | |

S | |

simple proof assistant | |

T | |

TCP server | |

text-based interaction | |

U | |

unification | |

user interface | |

V | |

VSCode |