7 citations · 18 across the 8 of their papers we have counts for
1 paper · 2 filters
Josje Lodder, Bastiaan Heeren, Johan Jeuring
LogEx is a learning environment that supports students in rewriting propositional logical formulae, using standard equivalences. We organized a pilot study to prepare a large scale…