4 citations · 7 across the 2 of their papers we have counts for
2 papers
cs.CY2022★ 3 cited
Engaging, Large-Scale Functional Programming Education in Physical and Virtual Space
Kevin Kappelmann, Jonas Rädle, Lukas Stevens
Worldwide, computer science departments have experienced a dramatic increase in the number of student enrolments. Moreover, the ongoing COVID-19 pandemic requires institutions to r…
cs.LO2022★ 4 cited
A Linter for Isabelle: Implementation and Evaluation
Yecine Megdiche, Fabian Huch, Lukas Stevens
In interactive theorem proving, formalization quality is a key factor for maintainability and re-usability of developments and can also impact proof-checking performance. Commonly,…