21 citations · 60 across the 9 of their papers we have counts for
1 paper · 2 filters
Maximilian Doré, Krysia Broda
Elfe is an interactive system for teaching basic proof methods in discrete mathematics. The user inputs a mathematical text written in fair English which is converted to a special…