Skip to content

An 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,

Notifications You must be signed in to change notification settings

MichaelClasby0/NaturalDeductionScanner

Repository files navigation

NaturalDeductionScanner

An android app created in 24 hours for ICHACK2020 https://devpost.com/software/naturaldeductionscanner

What it does

It allows the user to scan a handwritten natural deduction proof (or import an image already taken) and the app recognises the characters and symbols. These are parsed into a string which is then parsed and verified in further steps to confirm that the proof is correct or to inform the user which line contains a mistake.

How we built it

Using Android Studio with kotlin for the front-end and UI/UX. A model trained using tensor-flow in python which was then imported into our app.

About

An 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,

Topics

Resources

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published