Emilio Jesús Gallego Arias

person

Coqの開発とかW-calculusとかFaustの形式的証明プロジェクトとかやってらっしゃる

https://www.irif.fr/~gallego/