Gbury/dolmen

Dolmen provides a library and a binary to parse, typecheck, and evaluate languages used in automated deduction

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

话题：atp · flexible-parsers · functor · language · model · ocaml · ocaml-library · parse

在 GitHub 上查看原仓库