5 search results for "author:"Petar Vukmirovic""

Showing 1 - 5
  1. eprover

    No documentation

    E Theorem Prover
    Stephan Schulz Simon Cruanes Petar Vukmirovic Mohamed Bassem Martin Moehrmann
    3.1
    LGPL-2.1-or-later OR GPL-2.0-or-later
    Used by 0 other packages
    Added to opam-repository
  2. libzipperposition
    Documentation
    Library for Zipperposition
    logic unification term superposition prover
    Simon Cruanes Petar Vukmirovic Alexander Bentkamp Sophie Tourret Visa Nummelin
    2.1
    BSD-2-Clause
    Used by 2 other packages
    Added to opam-repository
  3. logtk
    Documentation
    Core types and algorithms for logic
    logic unification term
    Simon Cruanes Petar Vukmirovic Alexander Bentkamp Sophie Tourret Visa Nummelin
    2.1
    BSD-2-Clause
    Used by 3 other packages
    Added to opam-repository
  4. zipperposition
    Documentation
    A fully automatic theorem prover for typed higher-order and beyond
    logic unification term superposition prover
    Simon Cruanes Petar Vukmirovic Alexander Bentkamp Sophie Tourret Visa Nummelin
    2.1
    BSD-2-Clause
    Used by 0 other packages
    Added to opam-repository
  5. zipperposition-tools
    Documentation
    Support tools for Zipperposition
    Simon Cruanes Petar Vukmirovic Alexander Bentkamp Sophie Tourret Visa Nummelin
    2.1
    BSD-2-Clause
    Used by 0 other packages
    Added to opam-repository