OCaml logo OCaml logo
  • Learn
  • Packages
  • Community
  • Blog
  • Playground
  • Learn
  • Packages
  • Community
  • Blog
  • Playground
4 Search Results
libzipperposition
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
logtk
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
zipperposition
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
zipperposition-tools
Support tools for Zipperposition
Simon Cruanes Petar Vukmirovic Alexander Bentkamp Sophie Tourret Visa Nummelin
2.1
BSD-2-Clause
Used by 0 other packages
Innovation. Community. Security.
  • About Us
  • Industrial Users
  • Academic Users
  • Why OCaml
  • Resources
  • Get Started
  • Language Docs
  • Books
  • Releases
  • Community
  • Blog
  • Jobs
  • Legal
  • Carbon Footprint
  • Governance
  • Privacy Policy