Links for deduck-prover
deduck_prover-0.2.2-py3-none-any.whl
deduck_prover-0.2.1-py3-none-any.whl
deduck_prover-0.2.0-py3-none-any.whl
deduck_prover-0.1.0-py3-none-any.whl