[mizar] [Fwd: [Mathincoq] final attempt]

[Andrzej Trybulec <trybulec@math.uwb.edu.pl>]

Dear Andrea,

I have forwarded your message to Mizar Forum. I believe Mizar volk might 
be interested, too.

Regards,
Andrzej

-------- Original Message --------
Subject: [Mathincoq] final attempt
Date: Fri, 18 Nov 2005 10:11:10 +0100 (CET)
From: Andrea Asperti <asperti@cs.unibo.it>
To: mathincoq@pauillac.inria.fr
CC: hugo.herbelin@inria.fr
References: <200511161401.PAA20017@pauillac.inria.fr>


Dear all,

	I am looking for people interested to discuss about the
possibility of developing formal counterparts to on line, collaborative
encyclopedias like planetmath, wikipedia, etc.
Since I do not want to bother people, and I am not sure this is the right
forum for a such a discussion, if you send me your expression of interest
I will set up a dedicated list (unless the moderators of this mailing
list explicitly express the advice to guest the discussion).
Cheers.
						-- andrea