[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:
This archive was generated by a fusion of
Pipermail (Mailman edition) and