#

stelf

Here are 3 public repositories matching this topic...

stelf

standardocaml / stelf

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 Jul 7, 2026
OCaml

standardocaml / standardocaml.github.io

STELF website

astro starlight stelf

Updated Jun 23, 2026
MDX

standardocaml / tree-sitter-stelf

tree-sitter neovim stelf

Updated Jul 7, 2026
Standard ML

Improve this page

Add a description, image, and links to the stelf topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the stelf topic, visit your repo's landing page and select "manage topics."