Category: formal 2012 Towards a standard file format for formal sketches of mathematical articles Jun 17 2012 Formal proof - first steps with HOL Light Jun 11 2012