GitHub repository: Gbury/dolmen
Primary language: OCaml
Created: 2016-02-06T21:54:32Z
Description: Dolmen provides a library and a binary to parse, typecheck, and evaluate languages used in automated deduction