Twelf

From MathWeb

Jump to: navigation, search

Twelf is an implementation of the logical framework LF.

References

Retrieved from "http://www.mathweb.org/wiki/Twelf"
Facts about TwelfRDF feed
Homepagehttp://www.twelf.org/  +
Personal tools
MathWeb
Structures