A brief overview of HOL4

Citation

Slind, K & Norrish, M 2008, 'A brief overview of HOL4', International Conference on Theorem Proving in Higher Order Logics (TPHOLs 2008), ed. O.A. Mohamed, C. Munoz, S. Tahar, Springer, Berlin, Germany, pp. 28-32.

Year

2008

ANU Authors

Fields of Research

  • Computational Logic And Formal Languages
  • Mathematical Software

Updated:  15 April 2021 / Responsible Officer:  Director (Research Services Division) / Page Contact:  Researchers