Hans-Jörg Schurr
Hans-Jörg Schurr
Affiliation: The University of Iowa
Affiliation: University of Iowa
Pages in this Program
The Cooperating Proof Calculus: Comprehensive Proofs for an SMT Solver
Ethos: A Fast Proof Checker for the Eunoia Logical Framework
Designed and Developed by EventKey | Copyright 2026 EventKey Last updated:
🔍 ↑