Opam Package zipperposition-tools.1.6

Package info

opam-namezipperposition-tools
opam-version1.6
synopsisSupport tools for Zipperposition
authors
  • Simon Cruanes
  • Petar Vukmirovic
  • Alexander Bentkamp
  • Sophie Tourret
  • Visa Nummelin
homepagehttps://github.com/sneeuwballen/zipperposition
readme-fileREADME.md
deps (9)
revdeps(0)
metas (1)
libraries(0)

Package modules

Package sources

zipperposition-tools

Package files

lib/zipperposition-tools/opam
lib/zipperposition-tools/dune-package
lib/zipperposition-tools/META
lib/zipperposition-tools
doc/zipperposition-tools/README.md
doc/zipperposition-tools/LICENSE
doc/zipperposition-tools/CHANGELOG.md
doc/zipperposition-tools
bin/zipper_type_check
bin/zipper_tptp_to_zf
bin/zipper_proof_check_tstp
bin/zipper_fo_detector
bin/zipper_cnf_of
bin/zipper_app_encode