Anonymous user
Category:Twelf: Difference between revisions
m
Filling out language template
m (Language stub) |
m (Filling out language template) |
||
Line 1:
{{language
|site=http://twelf.plparty.org/wiki/Main_Page
}}
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.
{{stub}}
| |||