検索
❯
2023/08/221 min read
person
Coqの開発とかW-calculusとかFaustの形式的証明プロジェクトとかやってらっしゃる
https://www.irif.fr/~gallego/
2025/10/25