Skip to content

GitLab

Explore

Sign in

R

retreat-workshop

Project information

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

3 Commits
1 Branch
0 Tags

README

Created on

October 16, 2025

Loading

Help | Imprint | Privacy policy | Accessibility | Contact