Stack Exchange network consists of 183 Q&A communities including Stack Overflow, the largest, most trusted online community for developers to learn, share their knowledge, and build their careers.
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.
