[isabelle] Formal Proof in the press



Some users of Isabelle and Coq have pointed out a couple of recent 
articles in the press about formal proof, mentioning Isabelle, Coq, HOL 
Light in particular.

Here is a collection of relevant links so far:

  http://science.slashdot.org/article.pl?sid=08/09/30/2122205&from=rss
  http://www.ams.org/notices/200811/
  http://www.physorg.com/news145200777.html
  http://www.sciencenews.org/view/generic/id/38623/title/How_to_(really)_trust_a_mathematical_proof


	Makarius





This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.