michaelclasby0 / naturaldeductionscanner Goto Github PK
View Code? Open in Web Editor NEWAn Android app created in 24 hours for ICHACK2020. The app allows students to scan (or import) an image of a handwritten natural deduction proof and will verify its correctness,
Home Page: https://devpost.com/software/naturaldeductionscanner