Re: [Hol-info] hol-online not working

[Ramana Kumar]

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  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

[Hol-info] hol-online not working

[Miranda, Brando]

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