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