Natural Deduction for Windows 10 is a desktop application written in C# programming language for Universal Windows Platform. The program first checks if a given conclusion follows from a given set of premises and then generates a proof in a “natural deduction” style. The proof method is applicable for classical truth-functional logic.
Natural Deduction for Windows 10 is downloadable from Windows Store. See introductory video.