mudathirmahgoub / dolmen Goto Github PK
View Code? Open in Web Editor NEWThis project forked from gbury/dolmen
An OCaml library providing clean and flexible parser for languages used in automated deduction
License: BSD 2-Clause "Simplified" License