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

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

2024年5月19日 (星期日)

• (差异 | 历史) . . 小 MuseScore‎; 12:52 . . （0）‎ . . ‎Allen (讨论 | 贡献)‎ (→‎简介： )
• (差异 | 历史) . . 新 MuseScore‎; 12:52 . . （+671）‎ . . ‎Allen (讨论 | 贡献)‎ (以“{{SeeWikipedia}} MuseScore 制谱软件 ==简介== MuseScore 最初是作为 MusE 音序器代码库的一个分支创建的。 2017年，MuseScore 和 IMSLP 为 ...”为内容创建页面)