Twelf is an implementation of the logical framework LF. It is used for logic programming and for the formalization of programming language theory.
Read more about Twelf: Introduction, Implementation
Twelf is an implementation of the logical framework LF. It is used for logic programming and for the formalization of programming language theory.
Read more about Twelf: Introduction, Implementation