3 search results for "tag:"computation""

  1. dolmen_bin
    A linter for logic languages
    logic computation automated theorem prover logic smtlib tptp
    Guillaume Bury <guillaume.bury@gmail.com>
    0.8.1
    BSD-2-Clause
    Used by 0 other packages
    Last published 13 Feb 2023
  2. dolmen_loop
    A tool library for automated deduction tools
    logic computation automated theorem prover
    Guillaume Bury <guillaume.bury@gmail.com>
    0.8.1
    BSD-2-Clause
    Used by 3 other packages
    Last published 13 Feb 2023
  3. 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.8.1
    BSD-2-Clause
    Used by 0 other packages
    Last published 13 Feb 2023