欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜：Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
织网是灰狐开发的一款好用的移动办公、销售管理App。
织网不仅仅是一款App，它还是以CRM和BPM为核心，覆盖市场、销售、服务、财务、生产、HR等企业核心业务的企业应用开放平台。
