Forschungstage 2025: Beweisen ist auch nur Programmieren

Teil 1 Windows/Safari Version (legacy)

Teil 2 Windows/Safari Version (legacy)

Scratchpad Windows/Safari Version (legacy)

• Uni-Website
• GitHub
• Mail: (λ lastname. lastname + "@cs.uni-saarland.de") "ullrich"