zchn/proofweb

ProofWeb (http://proofweb.cs.ru.nl/) ported to ocamlnet 4.0.4 and made dockerable (WORK-IN-PROGRESS)

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

在 GitHub 上查看原仓库