5 Search Results
dolmen
A parser library for automated deduction
dolmen_bin
A linter for logic languages
dolmen_loop
A tool library for automated deduction tools
dolmen_lsp
A LSP server for automated deduction languages
dolmen_type
A typechecker for automated deduction languages