Edward Hermann Haeusler
Edward Hermann Haeusler
Affiliation: Pontifícia Universidade Católica do Rio de Janeiro (PUC-Rio)
Pages in this Program
From Dag-Like Proofs to Boolean Circuits in Lean
Designed and Developed by EventKey | Copyright 2026 EventKey Last updated:
🔍 ↑