#

flexible-parsers

Here is 1 public repository matching this topic...

Gbury / dolmen

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

language typechecker parse model ocaml theorem-proving ocaml-library functor tptp atp smt-lib flexible-parsers

Updated Oct 1, 2024
OCaml

Improve this page

Add a description, image, and links to the flexible-parsers topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the flexible-parsers topic, visit your repo's landing page and select "manage topics."