German computer scientist who has contributed to the Isabelle proof assistant and to the formalization of mathematics in type theory.
Contributed to the Isabelle theorem prover — a widely used proof assistant for formalizing mathematical proofs — and to the formalization of constructive mathematics in type theory.
No recorded contemporaries.
No recorded minds influenced.
Discussing
Ask anything about Stefan Berghofer — their ideas, influences, contradictions, legacy.
Sign in to start a conversation.