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

以下页面链接至模板:SeeWikipediaChinese：

• OpenBSD (包含) ‎ (←链入页面)
• Perl (包含) ‎ (←链入页面)
• WordPress (包含) ‎ (←链入页面)
• Mozilla Sunbird (包含) ‎ (←链入页面)
• BSD (包含) ‎ (←链入页面)
• BPEL (包含) ‎ (←链入页面)
• MPC (包含) ‎ (←链入页面)
• H.264 (包含) ‎ (←链入页面)
• MythTV (包含) ‎ (←链入页面)
• Tcl/Tk (包含) ‎ (←链入页面)
• AbiWord (包含) ‎ (←链入页面)
• XHTML (包含) ‎ (←链入页面)
• Microsoft SQL Server (包含) ‎ (←链入页面)
• VirtualDub (包含) ‎ (←链入页面)
• Qt (包含) ‎ (←链入页面)
• XSLT (包含) ‎ (←链入页面)
• XML Schema (包含) ‎ (←链入页面)
• LAME (包含) ‎ (←链入页面)
• MPEG (包含) ‎ (←链入页面)
• GNU Gatekeeper (包含) ‎ (←链入页面)
• Gedit (包含) ‎ (←链入页面)
• FLAC (包含) ‎ (←链入页面)
• Rhythmbox (包含) ‎ (←链入页面)
• Xvid (包含) ‎ (←链入页面)
• DivX (包含) ‎ (←链入页面)
• Zlib (包含) ‎ (←链入页面)
• Delphi (包含) ‎ (←链入页面)
• OceanBase (包含) ‎ (←链入页面)
• 开源人物 (包含) ‎ (←链入页面)
• ASP.NET Core MVC (包含) ‎ (←链入页面)