Mallku Soldevila
Mallku Soldevila
Affiliation: Universidade Federal de Minas Gerais
Pages in this Program
Ethos: A Fast Proof Checker for the Eunoia Logical Framework
Designed and Developed by EventKey | Copyright 2026 EventKey Last updated:
🔍 ↑