Latest Topics
- Bethel College
- FC-MI
- Beverly D. Stakes
- Heads of state of the Congo Free State
- Bethany Lutheran Theological Seminary
- Cybina
- W engine
- Beta Renner
- DSP
- Hethum I of Armenia
Random Topics
Twelf
Summary
- Twelf is an implementation of the logical framework LF. It is used for logic programming and for the formalization of programming language theory.
Soundex: T41 Metaphone: TWLF Reference |
Similar Topics
- None
Related Topics
* This page is licensed under the GNU Free Documentation License. It uses material from the Wikipedia article "Twelf".