Main Page

From The Twelf Project
Jump to: navigation, search
236 articles and counting...

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 and Learn 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, 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.