A Special Issue on Formal Proof (2008) | Heykuki News