欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
Steam是美国维尔福于2003年9月12日推出的数字发行、数字版权管理及社交系统,它用于数字软件及游戏的发行销售与后续更新,支持Windows、OS X和Linux等操作系统,目前是全球最大的PC数字游戏平台。