Natural Deduction is a free Windows app, available in Microsoft Store.
This study aid includes:
Practice your deduction skills with Proof Checker and Random Tasks.
At any time get assistance and ideas from Proof Generator.
Save your work on device and continue later on.
From August 2020 on the app also includes a deduction system for Modal Logic S5.