Manuel Eberl

Manuel Eberl

University of Innsbruck
Verified email at uibk.ac.at
Cited by 351
decision procedures interactive theorem proving formalised mathematics verification Isabelle
Mitchell A Buckley

Mitchell A Buckley

CSIRO
Verified email at data61.csiro.au
Cited by 223
Category Theory Hopf algebra formalised mathematics software verification
Chelsea Edmonds

Chelsea Edmonds

Research Associate, University of Sheffield
Verified email at sheffield.ac.uk
Cited by 49
formal verification formalised mathematics proof assistants security