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|W-calculus]]とか[[Faust]]の形式的証明プロジェクトとかやってらっしゃる

https://www.irif.fr/~gallego/
modified frontmatter depending on timestamp 2024-02-08 09:01:44 +00:00			`---`
updated timestamp 2024-02-08 11:06:45 +00:00			`date: "2023-08-22T23:39:29+0900"`
modified frontmatter depending on timestamp 2024-02-08 09:01:44 +00:00			`---`
[obsidian] vault backup: 2023-08-22 23:39:29[ 2023-08-22 14:39:29 +00:00			`#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/`