Category: proof 2013 A Simple Proof-by-Picture Jan 20 2013 2012 Towards a standard file format for formal sketches of mathematical articles Jun 18 2012 Formal proof - first steps with HOL Light Jun 11 2012