meancop 0.1.0

More efficient, albeit non-lean connection prover
Documentation