Better title: Introduction to Program Verification with Coq See the site guidelines. http://ycombinator.com/newsguidelines.html http://ycombinator.com/newsgui

Better title: Introduction to Program Verification with Coq See the site guidelines. http://ycombinator.com/newsguidelines.html http://ycombinator.com/newsguidelines.html