1 result found Sort:

Gbury
dolmen Gbury
17
80
bsd-2-clause
11
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
659 commits to master branch, last one 2 months ago