imandra-ai/ocaml-pltp

OCaml PLTP: An independent reproduction of the Boyer-Moore Pure Lisp Theorem Prover

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

在 GitHub 上查看原仓库