---
date: "2023-08-22T23:39:29+0900"
---
#person 

[[Coq]]の開発とか[[The w-calculus a synchronous framework for the verified modelling of digital signal processing algorithms|W-calculus]]とか[[Faust]]の形式的証明プロジェクトとかやってらっしゃる

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