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

2025年3月31日 (星期一)

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

2025年3月30日 (星期日)

• (差异 | 历史) . . 小 Modelica‎; 15:30 . . （+199）‎ . . ‎Allen (讨论 | 贡献)‎

2025年3月29日 (星期六)

• (差异 | 历史) . . 小 Modelica‎; 15:42 . . （+128）‎ . . ‎Allen (讨论 | 贡献)‎ (→‎简介： )
• (差异 | 历史) . . 小 Modelica‎; 15:39 . . （+229）‎ . . ‎Allen (讨论 | 贡献)‎ (→‎简介： )
• (差异 | 历史) . . 小 Modelica‎; 15:23 . . （+29）‎ . . ‎Allen (讨论 | 贡献)‎ (→‎项目： )
• (差异 | 历史) . . 小 Modelica‎; 15:20 . . （+31）‎ . . ‎Allen (讨论 | 贡献)‎ (→‎链接： )
• (差异 | 历史) . . 新 Modelica‎; 15:19 . . （+2,184）‎ . . ‎Allen (讨论 | 贡献)‎ (以“{{SeeWikipedia}} Modelica ==简介== Modelica 是开源建模语言 OpenModelica 是一个基于 Modelica 的开源建模和仿真环境 (基于 C/C++/Qt ...”为内容创建页面)