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

• 2024年5月19日 (日) 12:52 ‎MuseScore （历史） ‎[752字节] ‎Allen (讨论 | 贡献) (以“{{SeeWikipedia}} MuseScore 制谱软件 ==简介== MuseScore 最初是作为 MusE 音序器代码库的一个分支创建的。 2017年，MuseScore 和 IMSLP 为 ...”为内容创建页面)
• 2023年6月25日 (日) 06:43 ‎GUI （历史） ‎[254字节] ‎Allen (讨论 | 贡献) (以“{{SeeWikipedia|Graphical user interface}} 图形用户界面（Graphical User Interface，GUI）是指采用图形方式显示的计算机操作用户界面。 ==...”为内容创建页面)