欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜：Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
Amazon Lumberyard 是一款免费的 AAA 游戏引擎，与 AWS 和 Twitch 深度集成，并具备完整的源代码。
