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