Natural Deduction with Strict Implication is a desktop application written in C# programming language for Universal Windows Platform. The app contains both a proof generator and a proof checker (proof assistant) for modal logic S5. The logical system in the app contains some original research.
Natural Deduction with Strict Implication is downloadable from Windows Store. See introductory video.