Jason (jcreed) wrote,
Jason
jcreed

Talked with Sean McLaughlin today about hacking stuff into twelf for smoothifying his task of translating large TPS proofs to HOL-lite and vice-versa. (For instance, I hear Tom Hales has finished the Jordan Curve theorem in HOL-lite) I think I helped some. See! I do research stuff! Really!

But:


Finished up the symbols and numbers. Although there are still a lot of little weight and spacing kinks throughout the face, I'm very happy with it. To repeat my earlier conclusion, tom7 is a fantastic source of ideas to steal.

The curly braces and @-sign here are among my favorite that I've ever done.

Here's the ttf: http://www.cs.cmu.edu/~jcreed/font/NewLesOnLif.ttf
Subscribe
  • Post a new comment

    Error

    Anonymous comments are disabled in this journal

    default userpic

    Your reply will be screened

    Your IP address will be recorded 

  • 7 comments