[Date Prev][Date Next] [Chronological] [Thread] [Top]

[mizar] mkm mail list?

To: <mizar-forum@mizar.uwb.edu.pl>
Subject: [mizar] mkm mail list?
From: Josef Urban <urban@ktilinux.ms.mff.cuni.cz>
Date: Tue, 9 Dec 2003 20:41:09 +0100 (CET)

Hi,

is there a public mailing list for MKM?
I have only found www-math@w3.org, which seems to be a bit too technically 
oriented on MathML.

Thanks,
Josef

Prev by Date: [mizar] New Mizar articles
Next by Date: Re: [mizar] mkm mail list? (fwd)
Index(es):
- Chronological
- Thread