欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜：Formal mathematics/Isabelle/ML, Formal verification/Coq/Agda, C++/Erlang/Lisp
灰狐量子俱乐部
灰狐量子实验室和灰狐量子俱乐部。
俱乐部可以AA制和众筹等方式募集经费，费用主要用于活动、雇用设计师、程序员等，以e3 odoo财务模块记账。
机器人、人工智能、无人驾驶、游戏引擎、量子力学、量子计算、并行计算、区块链、金融科技、量化投资、对冲基金、私募、物理、数学。
