Yann Leray
Yann Leray
Affiliation: Nantes Université
Pages in this Program
Definitional Proof Irrelevance Made Accessible
Designed and Developed by EventKey | Copyright 2026 EventKey Last updated:
🔍 ↑