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

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

2025年1月1日 (星期三)

• (差异 | 历史) . . 小 Haskell‎; 00:20 . . （+106）‎ . . ‎Allen (讨论 | 贡献)‎ (→‎功能： )

2024年12月31日 (星期二)

• (差异 | 历史) . . 小 Haskell‎; 08:08 . . （+185）‎ . . ‎Allen (讨论 | 贡献)‎ (→‎ghci： )

2024年12月30日 (星期一)

• (差异 | 历史) . . 新 分类:Software Foundations‎; 07:51 . . （+116）‎ . . ‎Allen (讨论 | 贡献)‎ (以“软件基础系列对可靠软件的数学基础进行了广泛的介绍 https://softwarefoundations.cis.upenn.edu/”为内容创建页面)