GitHub - KeYProject/key-symposium-2024

Rights reserved to the authors of the talks.

Name		Name	Last commit message	Last commit date
Latest commit History 60 Commits
.github/workflows		.github/workflows
_layouts		_layouts
_static		_static
content		content
talks		talks
unlisted		unlisted
.gitignore		.gitignore
LICENSE.md		LICENSE.md
config.yml		config.yml
ical_gen.py		ical_gen.py
render.py		render.py
requirements.txt		requirements.txt

Provide feedback