There was a special issue of the Notices of the AMS on Formal Proof in 2008. Freek Wiedijk, who wrote one of the Notices articles, has some good resources on his home page.
|
1 | [made Community Wiki] | ||
|
|
||||
