Matsuura Tomoya Research Note
検索
Search
Search
ダークモード
ライトモード
Home
❯
Coq
Coq
2024/02/08
1 min read
tools
software
定理証明支援システム
グラフビュー
バックリンク
Coqの勉強
Emilio Jesús Gallego Arias
The w-calculus a synchronous framework for the verified modelling of digital signal processing algorithms
Recent writing
Not Art&Tech - On the role of Media Theory at Universities of Applied Art, Technology and Art and Technology.
2024/10/04
article
Olia Lialina
2024/10/04
person
音楽プログラミング言語の形式化
2024/09/25
programming-language
research