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

[mizar] Coq in Clear Thursday

To: Mizar Forum <mizar-forum@mizar.uwb.edu.pl>
Subject: [mizar] Coq in Clear Thursday
From: "PbIKOB__B.B." <rykov2000@mail.ru>
Date: Thu, 16 Apr 2009 22:25:24 +0400

   Quite unexpectedly I attended a report here in Moscow about computer theorem proving today.

   Our mathematician Beklemishev (in his 30s) told about Coq based project, his research and some review (at the beginning - of course)

   He mentioned Mizar among 5-6 best projects.

   If you want details - I could write a bit more.

      Happy Easter!

        Vladimir Rykov, PhD in Computational Linguistics, 
 MOSCOW

//rykov.narod.ru/

Tel +7-903-749-19-99

Отвечайте на vlad.rykov@gmail.com

Follow-Ups:
- Re: [mizar] Coq in Clear Thursday
  - From: trybulec@math.uwb.edu.pl

Prev by Date: [mizar] Calculemus 2009 - Emerging Trends track CFP
Next by Date: Re: [mizar] Coq in Clear Thursday
Index(es):
- Chronological
- Thread