Interactive Proof Critics

Michael Jackson, Andrew Ireland, G. Reid

Research output: Contribution to journalSpecial issuepeer-review

Original languageEnglish
Pages (from-to)302-325
Number of pages24
JournalFormal Aspects of Computing
Volume11
Issue number3
DOIs
Publication statusPublished - 1 Sep 1999

Keywords

  • Theorem Proving
  • User Interfaces
  • Proof Planning
  • Proof Patching
  • Inductive Proof

Cite this