standardocaml/stelf

A port of the Twelf implementation of the Logical Framework to OCaml

语言：OCaml · GitHub 星标：6 · Fork：0

话题：automated-theorem-proving · elf · language · lf · logic · logic-programming · logical-framework · ocaml

在 GitHub 上查看原仓库