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