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

以下页面链接至模板:Documentation/core：

• 模板:Nmbox (包含) ‎ (←链入页面)
• 模板:Languages (包含) ‎ (←链入页面)
• 模板:Documentation (包含) ‎ (←链入页面)
• 模板:Documentation/core2 (包含) ‎ (←链入页面)
• 模板:Fmbox (包含) ‎ (←链入页面)
• 模板:Purge (包含) ‎ (←链入页面)
• 模板:Commonscat (包含) ‎ (←链入页面)
• 模板:Main other (包含) ‎ (←链入页面)
• 模板:Ambox (包含) ‎ (←链入页面)
• 模板:Ambox/core (包含) ‎ (←链入页面)
• 模板:Babel (包含) ‎ (←链入页面)
• 模板:User zh (包含) ‎ (←链入页面)
• 模板:User language-N (包含) ‎ (←链入页面)
• 模板:User language-P (包含) ‎ (←链入页面)
• 模板:User 非吸烟者 (包含) ‎ (←链入页面)
• 模板:Cat handler (包含) ‎ (←链入页面)
• 模板:Cat handler/numbered (包含) ‎ (←链入页面)
• 模板:Cat handler/blacklist (包含) ‎ (←链入页面)
• 模板:Navbox (包含) ‎ (←链入页面)
• 模板:HideH (包含) ‎ (←链入页面)
• 模板:HideF (包含) ‎ (←链入页面)
• 模板:Wide image (包含) ‎ (←链入页面)
• 模板:Magnify icon (包含) ‎ (←链入页面)
• 模板:Linux (包含) ‎ (←链入页面)
• 模板:Navbar (包含) ‎ (←链入页面)
• 模板:Transclude (包含) ‎ (←链入页面)
• 模板:· (包含) ‎ (←链入页面)