2 search results for "tag:"first order""

Showing 1 - 2
  1. dolmen_model
    Documentation
    A model checker for automated deduction languages
    logic type model modelchecking first order
    Guillaume Bury <guillaume.bury@gmail.com>
    0.9
    BSD-2-Clause
    Used by 1 other packages
    06 Jul 2023
  2. dolmen_type
    Documentation
    A typechecker for automated deduction languages
    logic type typechecking first order polymorphism
    Guillaume Bury <guillaume.bury@gmail.com>
    0.9
    BSD-2-Clause
    Used by 4 other packages
    06 Jul 2023