欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜：Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
Countly 是一个开源的移动分析服务器，服务端基于Node.js构建，并运行在MongoDB和Nginx环境下。
下载 安装包 比较方便，安装指南。
bin/countly.install.sh // 面向ubuntu，debian可能无法成功安装
要迅速安装请先在 Ubuntu 下实践。
仪表盘
设备
平台
