Coq in Clear Thursday
"PbIKOB__B.B." <[email protected]>
| Newsgroups | gmane.comp.mathematics.mizar |
|---|---|
| Message-ID | <[email protected]> |
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
Отвечайте на [email protected]