Edward Hermann Haeusler
Edward Hermann Haeusler
Affiliation: Pontifícia Universidade Católica do Rio de Janeiro (PUC-Rio)
Talks
(LSFA)
From Dag-Like Proofs to Boolean Circuits in Lean · Session 4
Pages in this Program
Program
Program on Saturday, 18 July 2026
LSFA on Saturday, 18 July 2026
LSFA Program
Designed and Developed by EventKey | Copyright 2026 EventKey Last updated: · Local time:
🔍
↑