Gmane

Information about gmane.comp.mathematics.hol

Group gmane.comp.mathematics.hol (NNTP, threaded HTTP, bloggy HTTP, RSS)
Address hol-info@...
Description Discussion of the HOL proof systems ()
Type mailman
Url http://hol.sourceforge.net/
Mail-archive yes
Lang eng
Identifier

Edit these values

Raw data