Manuel Eberl

Manuel Eberl

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

Mitchell A Buckley

CSIRO
Verified email at data61.csiro.au
Cited by 224
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 51
formal verification formalised mathematics proof assistants security