Twelf is a historical programming language. 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...
- Twelf ranks in the top 50% of languages
- the Twelf wikipedia page
- I have 9 facts about Twelf. what would you like to know? email me and let me know how I can help.
Last updated August 22nd, 2019