Balazs Toth
Balazs Toth
Affiliation: Ludwig-Maximilians-Universität München
Pages in this Program
IsaSearch: Semantic Natural-Language Search for the Archive of Formal Proofs
Designed and Developed by EventKey | Copyright 2026 EventKey Last updated:
🔍 ↑