HOME | ENGLISH | IMPRESSUM | KIT

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

Schlüsselworte

Lean, SMT 

Betreuer

Wissenschaftliche Mitarbeiter
Dr. Jakob von Raumer