欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
2016.12.31,和林玲一起为灰狐过了一个简单的16岁生日。绿色颜值是明年的流行色,我们热爱绿色,渴望蓝天。
接下来,灰狐在商业道路上会花上10-20年完成人生三部曲:游戏、广告、金融。
我们会在灰狐社区和灰狐教育上深挖,把它们做成一辈子的事业,陪伴更多朋友一起成长。
生日蛋糕
绿色颜值
主色调