欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜：Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2/Agda, C++/Lisp/Haskell
统计
| 页面统计 | |
|---|---|
| 内容页面 | 7,162 |
| 页面 (本wiki的所有页面，包括讨论页面、重定向页等) | 39,015 |
| 已上传文件 | 17,125 |
| 编辑统计 | |
| 自开放百科 - 灰狐建立以来的页面编辑数 | 219,570 |
| 每页平均编辑数 | 5.63 |
| 用户统计 | |
| 注册用户 | 71,450 |
| 活跃用户 （成员列表） (在前30天中操作过的用户) | 1 |
| 机器人 （成员列表） | 0 |
| 管理员 （成员列表） | 2 |
| 行政员 （成员列表） | 1 |
| 查看统计 | |
| 查看总数 (不存在页面和特殊页面的查看数未计入) | 86,923,103 |
| 每次编辑查看数 | 395.88 |
| 浏览最多的页面 | |
| 首页 | 5,887,277 |
| 分类:Java | 2,561,303 |
| 用户讨论:Jsbb08 | 696,825 |
| Huihoo | 555,470 |
| 用户:Allen | 467,650 |
| E3 | 284,595 |
| 沙盒 | 275,902 |
| PostgreSQL | 271,614 |
| Odoo | 258,024 |
| Rails | 227,236 |
分享您的观点
