activity
20222025
most citedA Linter for Isabelle: Implementation and Evaluation

4 citations · 7 across the 6 of their papers we have counts for

collaborators
Showing 2025Show all

1 paper · 1 filter

cs.LO2025

Proof-Producing Translation of Functional Programs into a Time \& Space Reasonable Model

Kevin Kappelmann, Fabian Huch, Lukas Stevens +1

We present a semi-automated framework to construct and reason about programs in a deeply-embedded while-language. The while-language we consider is a simple computation model that…