ichack20

There are 0 repository under ichack20 topic.

• MichaelClasby0 / NaturalDeductionScanner

  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,

  prooflogicnatural-deductionoptical-character-recognitionmachine-learningneural-networkichackichack20androidkotlin
  Language:C++ 2