1 result found Sort:

Gbury
dolmen Gbury
18
84
bsd-2-clause
10
Dolmen provides a library and a binary to parse, typecheck, and evaluate languages used in automated deduction
atp tptp model ocaml parse functor smt-lib language typechecker ocaml-library theorem-proving flexible-parsers
Created 2016-02-06
666 commits to master branch, last one 4 days ago