[Date Prev][Date Next]
[Chronological]
[Thread]
[Top]
Re: [mizar] list of topics
On Mon, 18 Oct 2004, Artur Kornilowicz wrote:
> Dear All,
>
> recently there was a case where two persons were working on the same
> topic independently (in Mizar, of course). To avoid such situations in
> the future I would propose to make a special page with a list of works
> under processing. If you do not mind please send me a short description
> of your Mizar works. I will create and be maintaining the page.
I think the good please for that is Mizar TWiki
http://lipa.ms.mff.cuni.cz/cgi-bin/twiki/view/Mizar/
There is already section "Mizar Projects". Maybe, it would be better to
keep such information there.
Best,
Grzegorz
===============================================================
Grzegorz Bancerek
e-mail: bancerek@mizar.org (bancerek@math.uwb.edu.pl)
http://merak.pb.bialystok.pl/~bancerek/
Dept. of Theoretical CS
Faculty of Computer Science fax. +48 (85) 746-9057
Bialystok Technical University tel. +48 (85) 746-9056
http://www.pb.bialystok.pl