search

LeePatPat / NatDud

System L-style Natural Deduction Learning Tool - validates and gives feedback on proofs
MIT License
1 stars 0 forks source link

Proof Generator can be replaced with Proof Validator #1

Closed LeePatPat closed 6 years ago

LeePatPat commented 6 years ago

The purpose of the app is to generate FEEDBACK based on the proof the user has entered. Generating a proof may be a waste of time and resources. The development of a proof validator may be more efficient in both project time and resources. Such a validator would simply check the proof by ensuring assumptions are discharged and inference rules are validly used. If either of these conditions are not true, then the validator will generate advice on how the user may be able to improve their approach.

Suggestion: Remove proofGen.js functionality and add proofValidator.js functionality

LeePatPat commented 6 years ago

validator branch merged with master.