10 lines
307 B
Markdown
10 lines
307 B
Markdown
---
|
|
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/
|
|
|