Category: formal 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