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

[mizar] Mizar-like proof machine

To: mizar-forum@mizar.uwb.edu.pl
Subject: [mizar] Mizar-like proof machine
From: "PbIKOB__B.B." <rykov2000@mail.ru>
Date: Mon, 07 Oct 2002 09:11:50 +0400

  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: [mizar] Mizar-like proof machine
  - From: Andrzej Trybulec <trybulec@cs.shinshu-u.ac.jp>

References:
- Re: [mizar] Why do Mizar types have to be non-empty?
  - From: Andrzej Trybulec <trybulec@cs.shinshu-u.ac.jp>

Prev by Date: Re: [mizar] Why do Mizar types have to be non-empty?
Next by Date: Re: [mizar] Mizar-like proof machine
Index(es):
- Chronological
- Thread