hol-info

hol-info

List Id:

Information and Discussion about HOL <hol-info.lists.sourceforge.net>

List Help:

mailto:hol-info-request@lists.sourceforge.net?subject=help

List Subscribe:

https://lists.sourceforge.net/lists/listinfo/hol-info, mailto:hol-info-request@lists.sourceforge.net?subject=subscribe

Posting Address:

mailto:hol-info@lists.sourceforge.net

List Owner:

-

Alternate Archive:

http://sourceforge.net/mailarchive/forum.php?forum_name=hol-info

Gmane Archive:

gmane.comp.mathematics.hol

Gmane Description:

Discussion of the HOL proof systems ()

Mailing List System:

Mailman 2.1.9

Reputation:

Google Twitter Facebook Bing

Archive Localization:

English