Henriette Färber
Henriette Färber
Affiliation: Karlsruhe Institute of Technology
Pages in this Program
MiniHOL: A minimal object logic for teaching Isabelle/HOL’s foundations
Designed and Developed by EventKey | Copyright 2026 EventKey Last updated:
🔍 ↑