Tools

Here is a list of tools that can produce or consume Quip proofs.

Proof-producing provers and SMT solvers

• sidekick (WIP)

TODO: zipperposition

Proof-checking tools

• Quip (WIP) is a proof checker in OCaml.

Others

TODO: proof-to-dot and others