Intuitive Reasoning in Formalized Mathematics with Elfe.

Maximilian Dor, Krysia Broda

Browse the full CSEDU paper archive.