[Hol-info] Interesting links

[Konrad S. <sl...@cs...>]

1. Article in The Economist, slightly negative about formal verification. 

     http://www.economist.com/science/tq/displayStory.cfm?story_id=1841081

2. Article about an interesting HOL-Light proof-checking project (needs
   subscription unfortunately) 

 http://www.nature.com/cgi-taf/DynaPage.taf?file=/nature/journal/v424/n6944/full/424012a_fs.html

Other information is available at

   http://www.math.pitt.edu/~thales/flyspeck/index.html

Konrad.