Twelf is an actively used programming language created in 2006. Twelf is an implementation of the logical framework LF developed by Frank Pfenning and Carsten Schürmann at Carnegie Mellon University . It is used for logic programming and for the formalization of programming language theory.. Read more on Wikipedia...
- the Twelf wikipedia page
- Twelf first appeared in 2006
- Twelf was created by Frank Pfenning and Carsten Schürmann
- Have a question about Twelf not answered here? Email me and let me know how I can help.
Last updated June 22nd, 2020