lukaszcz/hcpl

A prototypical proof checker and programming language based on illative combinatory logic

语言：OCaml · GitHub 星标：4 · Fork：1

话题：combinatory-logic · functional-programming · proof-checking · theorem-proving

在 GitHub 上查看原仓库