検索
❯
2024/02/081 min read
person
Coqの開発とかW-calculusとかFaustの形式的証明プロジェクトとかやってらっしゃる
https://www.irif.fr/~gallego/
2024/12/02
2024/11/29
2024/11/23