Explore projects

Hands-on session covering Isabelle & the refinement framework at the group's retreat 2025

KIT-CA interfaces that are exposed to users (mails, PDF forms, etc.).

Migration (Data transfer) of musica-iasi-h2oiso-postprocessing from pilot GitLab to new GitLab