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<mailto:miran...@illinois.edu>
_______________________________________________ hol-info mailing list hol-info@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/hol-info
