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...

13Years Old 20Users 0Jobs
  • Twelf ranks in the top 50% of languages
  • the Twelf wikipedia page
  • Twelf first appeared in 2006
  • I have 10 facts about Twelf. what would you like to know? email me and let me know how I can help.

Last updated December 10th, 2019

Edit Twelf