package dolmen
Dolmen is a parser library. It currently mainly supports languages used in automated deduction.
Install
Dune Dependency
Authors
Maintainers
Sources
v0.1.tar.gz
sha256=8000a1e96dd1b07f04d9e759e13f4c3f2aaadcaf734c1f3e523249e9231fadfc
md5=b555b32e8a98563b1d3822a9e1ba7067
On This Page