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

Re[2]: [mizar] Mizar-like proof machine


 It is really a pity (zazal?) - borders still separate us ...

 I just talked to Mr Grigory Ivanov

 He knows about Mizar project and he would be glad to establish contacts. His email - givanov@math.mipt.ru

 If needed - I am ready to be a kind of mediator.

 As I could understand the core of the matter - he is like you Andrzej - he is math and progammers did the proof machine according to his ideas.

  Servus Vlodek

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

> 
> "PbIKOB__B.B." wrote:
> 
> >    This April I read lectures on CL in Grodno - Poland was at hand .. - and then Ling Conf - Poles came - very different culture !
> 
> This is a pitty that you did not come to us, it is about one hour by train.
> Andrzej
> 
> 
> 

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

___________________________________________________
@Mail.ru  Национальная почтовая служба
http://www.mail.ru
___________________________________________________