rlepigre/pml

New version of the PML language and (classical) proof assistant

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

话题：classical-logic · ocaml · pml · program-equivalence · proof-assistant

在 GitHub 上查看原仓库