Jason (jcreed) wrote,

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!


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

  • (no subject)

    Snuck up to LICS to see what was going on in the world of logic a tiny bit. Listened to a talk about Buchi automata and the linear-time mu-calculus,…

  • (no subject)

    Went to this Center for Network Programming miniconference thing that was being held on the "Cornell Tech Campus", which temporarily = "3rd floor of…

  • (no subject)

    Had a nice dinner with some !!con folks. Really too bad I couldn't go to the actual conference, looks like it was a great time. Oh well - will try to…

  • Post a new comment


    Anonymous comments are disabled in this journal

    default userpic

    Your reply will be screened

    Your IP address will be recorded