欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜：Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
SuperCollider
SuperCollider 是一门编程语言和声音编程环境（IDE），主要用于实时声音合成和算法作曲。
SuperCollider 语言结合了 Smalltalk 的面向对象特性，以及来自函数式编程语言的特性和类 C 语言的语法。
