Hanna Lachnitt

Hanna Lachnitt

Stanford University
Verified email at stanford.edu
Cited by 499
Automated Reasoning Formal Verification SMT Isabelle Isabelle/HOL
Manuel Eberl

Manuel Eberl

University of Innsbruck
Verified email at uibk.ac.at
Cited by 345
decision procedures interactive theorem proving formalised mathematics verification Isabelle
Maximilian P. L. Haslbeck

Maximilian PL Haslbeck

TU München
Verified email at in.tum.de
Cited by 133
Formal Verifikation Quantitative Analysis Isabelle Interactive Theorem Proving
Christina Kirk

Christina Kirk

PhD Student, Universität Innsbruck
Verified email at uibk.ac.at
Cited by 22
term rewriting interactive theorem proving Isabelle