User:Drl

From The Twelf Project
Jump to: navigation, search

My name is Dan Licata. I'm a PhD student at CMU. Here's my Web site.

Sometimes, I get the urge to write introductions to LF and Twelf. The second time this happened, it resulted in a journal article. The first time this happened, it resulted in a very chatty tutorial, which, the third time this happened, turned into Proving metatheorems with Twelf.

I also use Twelf regularly in my research; see the page on research projects using Twelf or visit my Web site for some links.

Random Bits of Twelf Code: