metacat-cli 0.1.3

metacat: a categorical theorem prover
metacat-cli-0.1.3 is not a library.