検索
❯
created: 2023/08/22 updated: 2024/02/081 min readview history
#person
Coqの開発とかW-calculusとかFaustの形式的証明プロジェクトとかやってらっしゃる
https://www.irif.fr/~gallego/
2024/05/03
2024/04/22