Skip to content
GitLab
Menu
Projects
Groups
Snippets
Loading...
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in
Toggle navigation
Menu
Open sidebar
supervision
seminar
Repository
895c2f7442abbe40ef6e54dc29b5e47812d1c506
Switch branch/tag
seminar
WS2021
logrels
guide.pdf
Find file
History
Permalink
Archive my logrel talk: add sources for reproducibility, link to YouTube video
· 3af27bc2
Navid Roux
authored
May 09, 2021
and
Michael Kohlhase
committed
May 09, 2021
3af27bc2
guide.pdf
227 KB
Web IDE
Download (227 KB)
Replace guide.pdf
×
Attach a file by drag & drop or
click to upload
Commit message
Replace guide.pdf
Replace file
Cancel
GitLab will create a branch in your fork and start a merge request.
