ProofJudge: Automated Proof Judging Tool for Learning Mathematical Logic

Keyphrases

• Mathematical Logic 100%
• Natural Deduction 100%
• Automated Proof 100%
• Conceptual Understanding 33%
• Systems Approach 33%
• Medical Devices 33%
• Airplane 33%
• Computer System 33%
• Formal Verification 33%
• Learning Problems 33%
• Proof Assistants 33%
• Automated Reasoning 33%
• Artificial Intelligence Applications 33%
• Student Assignment 33%
• Logical Reasoning 33%
• Pen-and-paper 33%
• Software Correctness 33%
• E-learning Tools 33%
• Automatic Feedback 33%
• Computer Teaching 33%
• Computer-assisted Proof 33%
• Teaching Approaches 33%

Computer Science

• Natural Deduction 100%
• Mathematical Learning 100%
• Formal Verification 33%
• Conceptual Understanding 33%
• e-learning 33%
• Automated Reasoning 33%
• Learning Problem 33%
• Artificial Intelligence Applications 33%
• Computer System 33%
• Abstract Concept 33%