Andy Poudret
Forgik is an educational app to prove sequents using natural deduction.
Use APKPure App
Get Forgik - Propositional Logic P old version APK for Android