Twelf

Twelf is an implementation of the logical framework LF developed by Frank Pfenning and Carsten Schürmann at Carnegie Mellon University.[1] It is used for logic programming and for the formalization of programming language theory.

  1. ^ Pfenning, Frank; Carsten Schürmann (July 1999). System description: Twelf - a meta-logical framework for deductive systems (PDF). Proceedings of the 16th International Conference on Automated Deduction (CADE-16). Retrieved 2019-05-08.