HOME | DEUTSCH | IMPRESSUM | KIT

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



Advisors

Former Staff Member
Dr. Jakob von Raumer