Markus Wenzel
E238249
UNEXPLORED
Markus Wenzel is a computer scientist best known as the primary developer of the Isabelle proof assistant.
Jump to:
Referenced by
Referenced by (1)
Full triples — surface form annotated when it differs from this entity's canonical label.