Is HOL light online just HOL Light, or something special in particular? The website for HOL Light can be found at https://www.cl.cam.ac.uk/~jrh13/hol-light/ and the source code is now on GitHub.
On Fri, 15 Nov 2019 at 00:38, Miranda, Brando <miran...@illinois.edu> wrote: > Hi, > > Does anyone have a link to HOL light online that works? > > https://code.google.com/archive/p/hol-online/ > > thanks! > > ----- > Brando Miranda > PhD Student > Computer Science at University of Illinois at Urbana-Champaign (UIUC) > Alfred P. Sloan Scholar | SURGE Fellow | Saburo Muroga Endowed Fellow > miran...@illinois.edu > > > > > _______________________________________________ > hol-info mailing list > hol-info@lists.sourceforge.net > https://lists.sourceforge.net/lists/listinfo/hol-info >
_______________________________________________ hol-info mailing list hol-info@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/hol-info
