What is Twelf?
|
Twelf is a language used to specify, implement, and prove properties of deductive systems such as programming languages and logics. Large research projects using Twelf include the TALT typed assembly language, a foundational proof-carrying-code system, and a type safety proof for Standard ML.
Visitors without a technical background are encouraged to read the general description of Twelf.
|
|
Download Twelf or try it online.
Learn Twelf:
See the documentation page for more resources.
|
|
What's new?
|
- January 17, 2015
- After a year of issues stemming from the age of our old server, twelf.org has been moved to a new machine. Some features, like Twelf Live and syntax highlighting, still only exist on the old site. Let Rob know about any other deficiencies in the new site.
- June 10, 2013
- October 26, 2012
To read about older updates, see the What's new? page.
|
|