c-cube/trustee

[wip] A LCF-style kernel of trust intended for certified ATP and proof checking for FOL/HOL.

语言：OCaml · GitHub 星标：12 · Fork：2

话题：hol · kernel-of-trust · lcf · ocaml · proof-checker

在 GitHub 上查看原仓库