Opam Package zipperposition.1.6

Package info

opam-namezipperposition
opam-version1.6
synopsisA fully automatic theorem prover for typed higher-order and beyond
authors
  • Simon Cruanes
  • Petar Vukmirovic
  • Alexander Bentkamp
  • Sophie Tourret
  • Visa Nummelin
homepagehttps://github.com/sneeuwballen/zipperposition
readme-fileREADME.md
deps (11)
revdeps(0)
metas (1)
libraries(0)

Package modules

Package sources

zipperposition

Package files

lib/zipperposition/opam
lib/zipperposition/dune-package
lib/zipperposition/META
lib/zipperposition
doc/zipperposition/README.md
doc/zipperposition/LICENSE
doc/zipperposition/CHANGELOG.md
doc/zipperposition
bin/zipperposition