HOME | DEUTSCH | IMPRESSUM | KIT

Programming paradigms group - IPD Snelting

About us
People
Publications
Projects
Courses
Jobs
Theses
Contact/Location

Fakultät für Informatik - KIT

Research project (finished): Hammers for Lean 4 with usage of SMT solvers for HOL

Advisors

Scientific Staff
Dr. Jakob von Raumer

↑ TOP

KIT – The Research University in the Helmholtz Association