c-cube/quip

[wip] Proof format and checker for first-order and higher-order theorem provers

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

话题：ocaml · proof · proof-checker · smt

在 GitHub 上查看原仓库