https://pypi.org/project/nd-prover/ Recent updates to the Python Package Index for nd-prover en https://pypi.org/project/nd-prover/2.0.0/ Natural deduction proof generator & checker daniyalakif@gmail.com Mon, 29 Dec 2025 12:47:04 GMT https://pypi.org/project/nd-prover/1.0.1/ An interactive Fitch-style proof checker daniyalakif@gmail.com Fri, 17 Oct 2025 05:12:51 GMT https://pypi.org/project/nd-prover/1.0.0/ An interactive Fitch-style proof checker daniyalakif@gmail.com Tue, 05 Aug 2025 10:57:22 GMT https://pypi.org/project/nd-prover/0.1.0/ An interactive Fitch-style proof checker daniyalakif@gmail.com Mon, 04 Aug 2025 23:54:17 GMT