Marianna Girlando
Marianna Girlando
Affiliation: University of Amsterdam
Pages in this Program
GenZ: A Generic Sequent Calculus Prover using the Zipper
Designed and Developed by EventKey | Copyright 2026 EventKey Last updated:
🔍 ↑