欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜：Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2/Agda, C++/Lisp/Haskell

本页面跟踪本wiki的最近更改。

2025年1月8日 (星期三)

• (差异 | 历史) . . 小 Scala‎; 13:58 . . （+19）‎ . . ‎Allen (讨论 | 贡献)‎ (→‎版本： )
• (差异 | 历史) . . 小 Scala‎; 13:57 . . （+51）‎ . . ‎Allen (讨论 | 贡献)‎ (→‎版本： )
• (差异 | 历史) . . 小 Tizen‎; 03:35 . . （+117）‎ . . ‎Allen (讨论 | 贡献)‎ (→‎新闻： )
• (差异 | 历史) . . 小 Tizen‎; 03:26 . . （+408）‎ . . ‎Allen (讨论 | 贡献)‎

2025年1月7日 (星期二)

• (差异 | 历史) . . 小 RISC-V‎; 09:40 . . （+245）‎ . . ‎Allen (讨论 | 贡献)‎
• (差异 | 历史) . . 小 Formal verification‎; 08:42 . . （+108）‎ . . ‎Allen (讨论 | 贡献)‎ (→‎项目： )