Interactive Theorem Proving in Industry (2012)events.inf.ed.ac.uk4 points·pron··0 commentsOpen articleSaveView on HN