Natural Deduction is a free app published for Windows and Android platforms.
Available in Microsoft Store and Google Play.
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.