Which of the ten axioms each logic proves, and which it provably does not.
Everything is stated over the atom type ℕ.
Axioms
Status
Could not load status.json.
Regenerate it with just zoo and serve this directory over HTTP
(just zoo-serve); opening the file straight from disk will not work.