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

Re: [mizar] Mizar-like proof machine

To: mizar-forum@mizar.uwb.edu.pl
Subject: Re: [mizar] Mizar-like proof machine
From: Andrzej Trybulec <trybulec@cs.shinshu-u.ac.jp>
Date: Tue, 08 Oct 2002 20:07:03 +0900

Volodya,

could you write a bit more about it? E.g. how many participants, from which countries,
what kind of software is used?

Greetings,
Andrzej

"PbIKOB__B.B." wrote:

>   Maybe it will  be interesting to Mizarians - the 1st Olympiad in computer theorem proving will be held here in MIPT (www.mipt.ru) - Math Analysis theorems - limits, continuity etc.
>
>        ó Õ×ÁÖÅÎÉÅÍ
>
>  P bI K O B  B. B.  MOCKBA
>
> Vladimir Rykov, PhD in Computational Linguistics,
>  MOSCOW
> http://rykov.narod.ru/
> Engl. http://www.blkbox.com/~gigawatt/rykov.html
> Tel +7-903-749-19-99

Follow-Ups:
- Re[2]: [mizar] Mizar-like proof machine
  - From: "PbIKOB__B.B." <rykov2000@mail.ru>

References:
- [mizar] Mizar-like proof machine
  - From: "PbIKOB__B.B." <rykov2000@mail.ru>

Prev by Date: [mizar] Mizar-like proof machine
Next by Date: Re[2]: [mizar] Mizar-like proof machine
Index(es):
- Chronological
- Thread