David Fuenmayor | LoDEx Research Project https://www.ruhr-uni-bochum.de/lodex/author/david-fuenmayor/ David Fuenmayor Wowchemy (https://wowchemy.com)en-usTue, 06 Oct 2026 00:00:00 +0000 https://www.ruhr-uni-bochum.de/lodex/media/icon_hud18b118ec34245591648419faa812519_32196_512x512_fill_lanczos_center_3.png David Fuenmayor https://www.ruhr-uni-bochum.de/lodex/author/david-fuenmayor/ Mathematical Proof Assistants for Teaching Logic: The LogiKEy Methodology https://www.ruhr-uni-bochum.de/lodex/publication/benzmuller-fuenmayor-pasetto-arxiv-2026/ Tue, 06 Oct 2026 00:00:00 +0000 https://www.ruhr-uni-bochum.de/lodex/publication/benzmuller-fuenmayor-pasetto-arxiv-2026/