• Über uns
• Mitarbeiter
• Veröffentlichungen
• Projekte
• Lehre
• Stellenanzeigen
• Bachelor-/Masterarbeiten
  • offen
  • laufend
  • abgeschlossen
• Impressum/Lageplan

Praxis der Forschung (laufend): Hammer für Lean 4 unter Benutzung von SMT-Solvern für HOL