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

14Years Old 20Users ?Jobs

Last updated August 9th, 2020

Edit Twelf on GitHub