HOLLight

Archives written in and imported from the HOL Light system

Responsible: f.rabe@jacobs-university.de

  • Archives:
  • Views:
  • Theories:
  • Definitions:
  • Constants:
  • Files:
  • Size: K
  • Basic

    The basic library of the HOL Light theorem prover