deniok: (typed lambda)
Сегодня на Lambda the Ultimate:

The American Mathematical Society A Special Issue on Formal Proof

Не прозевайте, кому это интересно. В частности там про проблему 4х красок, про доказательство которой Женя [livejournal.com profile] antilamer упоминал в докладе на октябрьском SpbHUG.
deniok: (Default)
Скачал и поставил COQ. Это, если кто не знает, СУФД - система управления формальными доказательствами :-) Так у них на сайте написано
Coq is a formal proof management system: a proof done with Coq is mechanically checked by the machine.




Читаю крэш-курс Coq in a Hurry.

Profile

deniok: (Default)
deniok

April 2017

S M T W T F S
      1
23 45678
9101112131415
16171819202122
23242526272829
30      

Syndicate

RSS Atom

Style Credit

Expand Cut Tags

No cut tags
Page generated Jul. 27th, 2017 02:27 am
Powered by Dreamwidth Studios