Proof

TODO: Add description

Installation

If available in Hex, the package can be installed as:

1. Add proof to your list of dependencies in mix.exs:

   def deps do [{:proof, "~> 0.0.1"}] end

2. Ensure proof is started before your application:

   def application do [applications: [:proof]] end