hol-light software on GitHub

Software OPEN SOURCE
  • Subject:
    acm: TheoryofComputation_MATHEMATICALLOGICANDFORMALLANGUAGES | TheoryofComputation_LOGICSANDMEANINGSOFPROGRAMS
    arxiv: Computer Science::Information Retrieval | Computer Science::Digital Libraries | Computer Science::Mathematical Software | Computer Science::Logic in Computer Science

The HOL Light theorem prover (moved from Google code)
Share - Bookmark