Top 1,000 Features Creators Resources Blog Explore Download
GitHub icon

Twelf

< >

Twelf is a programming language created in 2006 by Frank Pfenning and Carsten Sch眉rmann.

#3531on PLDB 18Years Old

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


View source

- Build the next great programming language About Acknowledgements Extensions Day 625 feedback@pldb.io