1 result found Sort:

Gbury
dolmen Gbury
16
76
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
657 commits to master branch, last one 9 days ago