Skip to content

Gbury/dolmen

Error
Looks like something went wrong!

About

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

Topics

Resources

License

Stars

Watchers

Forks

Packages

No packages published

Contributors 10