![[personal profile]](https://www.dreamwidth.org/img/silk/identity/user.png){kind=small}
Dec. 5th, 2008
Formal Proofs
Dec. 5th, 2008 09:46 amСегодня на Lambda the Ultimate:
The American Mathematical Society A Special Issue on Formal Proof
Не прозевайте, кому это интересно. В частности там про проблему 4х красок, про доказательство которой Женя![[livejournal.com profile]](https://www.dreamwidth.org/img/external/lj-userinfo.gif)
antilamer упоминал в докладе на октябрьском SpbHUG.
The American Mathematical Society A Special Issue on Formal Proof
Не прозевайте, кому это интересно. В частности там про проблему 4х красок, про доказательство которой Женя
antilamer упоминал в докладе на октябрьском SpbHUG.