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

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

2025年5月1日 (星期四)

• (差异 | 历史) . . 小 Dart‎; 09:22 . . （+47）‎ . . ‎Allen (讨论 | 贡献)‎ (→‎项目： )

2025年4月25日 (星期五)

• (差异 | 历史) . . 新 分类:Modeling‎; 06:53 . . （+110）‎ . . ‎Allen (讨论 | 贡献)‎ (以“建模（modeling）又称模型化，是对实体进行简单化和抽象化表示，以建立模型的过程”为内容创建页面)
• (上传日志); 06:52 . . Allen (讨论 | 贡献)上传“文件:Gama-plugin architecture.png” ‎(https://gama-platform.org/wiki/GamaArchitecture category:eclipse category:simulation category:modeling)
• (差异 | 历史) . . 小 QGIS‎; 01:40 . . （+33）‎ . . ‎Allen (讨论 | 贡献)‎ (→‎链接： )