The ELFE System - Verifying Mathematical Proofs of Undergraduate Students.

Maximilian Dor, Krysia Broda

Browse the full CSEDU paper archive.