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

[mizar] Theorem Proving in Russia

 There is a paper of one of (I hope) Mizar members Grigory Ivanov in the 1st 2004 Mir PK (PC  World) issue - obout TeorMat - a program teaching theorem proving.

  You can visit its site 

                  http://math.fizteh.ru/teormat

     C Новым 2004 !  

       С уважением
    
 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