quartz-research-note/content/音楽プログラミング言語の形式化.md

#programming-language #research

先行令

Faust

The w-calculus a synchronous framework for the verified modelling of digital signal processing algorithms

基礎知識

Coqの勉強