OCaml logo
3 Search Results
dolmen_bin
A linter for logic languages
logic computation automated theorem prover logic smtlib tptp
Guillaume Bury <guillaume.bury@gmail.com>
0.7
BSD-2-Clause
Used by 0 other packages
dolmen_loop
A tool library for automated deduction tools
logic computation automated theorem prover
Guillaume Bury <guillaume.bury@gmail.com>
0.7
BSD-2-Clause
Used by 4 other packages
dolmen_lsp
A LSP server for automated deduction languages
logic computation automated theorem prover lsp language server protocol
Guillaume Bury <guillaume.bury@gmail.com>
0.7
BSD-2-Clause
Used by 0 other packages