This repository holds examples that support the work in the paper: "Proof Engineering in Logika: Synergistically Integrating Automated and Semi-Automated Program Verification" by Stefan Hallerstede, ...

Background: Despite the effectiveness and potential of digital mental health interventions (DMHIs) in routine care, their uptake remains low. In Germany, digital mental health applications (DiGA), ...