#
twelf
Here are 11 public repositories matching this topic...
A port of the Twelf implementation of the Logical Framework to OCaml
language programming-language ocaml logic theorem-proving type-theory logic-programming elf lf twelf pl logical-framework automated-theorem-proving stelf
-
Updated
Oct 2, 2026 - OCaml
A Study in Implementing Functional Programming Languages
c language parser interpreter compiler correctness acsl twelf hoare-logic abstract-machine functional-programming-language
-
Updated
Aug 17, 2019 - C
Formalization of a simple functional language with records and subtyping in Twelf.
-
Updated
Apr 28, 2017
A Tutorial on Type Theory, Foundations of Programming Languages, and Formal Verification (LaTeX source)
-
Updated
Oct 6, 2026 - TeX
Beamer slides: a Twelf tutorial using the MiniLang encoding
-
Updated
Oct 6, 2026 - TeX
Twelf Tutorial and Twelf Encoding of MiniLang
-
Updated
Oct 8, 2026 - Dockerfile
Add this topic to your repo
To associate your repository with the twelf topic, visit your repo's landing page and select "manage topics."