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 <[email protected]> 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 > [email protected] > > > > > _______________________________________________ > hol-info mailing list > [email protected] > https://lists.sourceforge.net/lists/listinfo/hol-info >
_______________________________________________ hol-info mailing list [email protected] https://lists.sourceforge.net/lists/listinfo/hol-info
