GitPlanet

Cheap and reliable Node.js hosting starts at $3/month, and $1/month static HTML hosting

Created with love in Canada, visit hostnodejs.com today

Feel like to post an Ad? Learn Details
All Projects → brain-research → hol-light

brain-research / hol-light

Licence: other
Patched version of HOL Light with tactic logging for machine learning purposes

Programming Languages

Standard ML
205 projects
ocaml
1615 projects
C++
36643 projects - #6 most used programming language
shell
77523 projects
TeX
3793 projects
c
50402 projects - #5 most used programming language
This repository contains an implementation of the HOList proof assistant API
based on HOL Light (https://www.cl.cam.ac.uk/~jrh13/hol-light/).

For more information about HOList, see http://deephol.org.
Note that the project description data, including the texts, logos, images, and/or trademarks, for each open source project belongs to its rightful owner. If you wish to add or remove any projects, please contact us at [email protected].