Geeks
active-group
/
tutorialtag-2024-isabelle
Tutorialtag 2024: Isabelle/HOL
Primary Language
Isabelle
tutorialtag-2024-isabelle GitHub
Markdown
Readme
0
Issues
1
Stargazer
2
Watchers
Stargazers
dawedawe
Cologne/Germany