Natural Deduction Planner Blog
Assistant for generating Natural Deduction style proofs
Status: Beta
Brought to you by:
declanthompson
Version 1.4.2 of Proof Assistant has been released! This version includes mainly bug fixes, which I will list here.
A new feature added is that, upon opening a file, its premises and conclusion are copied to the New Proof dialogue.