MYWOT
Child safety
Confidence
Trustworthiness
Confidence
MALICIOUS CONTENT INDICATORS
Twelf.org most likely does not offer any malicious content.
Secure connection support
HTTPS
Twelf.org provides SSL-encrypted connection.
ADULT CONTENT INDICATORS
Twelf.org most likely does not offer any adult content.
Popular pages
-
The Twelf Project
The tutorials explain common Twelf tricks and techniques. The case studies present interesting applications of Twelf. The glossary defines Twelf terminology. See the documentation page for more reso...
-
Download - The Twelf Project
Download The current version of Twelf is 1.7.1. You can also try Twelf live in your browser. twelf-src-1.7.1.tar.gz - Source distribution, can be built with MLton or SML/NJ twelf-linux-1.7.1.tar.gz -...
-
Tutorials - The Twelf Project
Tutorials If you are not already familiar with Twelf, you should read the introductions to Twelf before reading the tutorials on this page. See the documentation page for other resources. Types of tu...
-
Documentation - The Twelf Project
Documentation Contents The tutorials explain common Twelf tricks and techniques. The glossary defines Twelf terminology. The case studies present interesting applications of Twelf. The Twelf style...
-
Introductions to Twelf - The Twelf Project
Introductions to Twelf The following introductory guides are available: Proving metatheorems with Twelf: if you have some background in programming languages but no prior experience with LF and Twelf...
-
General description of Twelf - The Twelf Project
General description of Twelf This quick introduction to Twelf is aimed at people without any specific technical background. If you want more information, you can find it on the documentation page. Usi...