quartz-research-note/content/Emilio Jesús Gallego Arias.md

date
2023-08-22T23:39:29+0900

#person

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

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