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

以下页面链接至Ubuntu：

• Linux ‎ (←链入页面)
• Debian ‎ (←链入页面)
• GNU ‎ (←链入页面)
• TurboGears ‎ (←链入页面)
• Xen ‎ (←链入页面)
• VMware ‎ (←链入页面)
• Free Software Foundation ‎ (←链入页面)
• 分类:Ubuntu ‎ (←链入页面)
• Edubuntu ‎ (←链入页面)
• Kubuntu ‎ (←链入页面)
• NexentaStor ‎ (←链入页面)
• Ubuntu Touch ‎ (←链入页面)
• Huihoo Debian Desktop ‎ (←链入页面)
• Chromium OS ‎ (←链入页面)
• WattOS ‎ (←链入页面)
• Tuquito ‎ (←链入页面)
• Sabily ‎ (←链入页面)
• Lubuntu ‎ (←链入页面)
• LinuxDeepin ‎ (←链入页面)
• Guadalinex ‎ (←链入页面)
• Linux Mint ‎ (←链入页面)
• Ylmf OS ‎ (←链入页面)
• EasyPeasy ‎ (←链入页面)
• Wayland ‎ (←链入页面)
• Buildix ‎ (←链入页面)
• Zentyal ‎ (←链入页面)
• Uncomplicated Firewall ‎ (←链入页面)
• Open Build Service ‎ (←链入页面)
• Kali Linux ‎ (←链入页面)
• Countly ‎ (←链入页面)
• Ubuntu/cloud ‎ (←链入页面)
• Trisquel ‎ (←链入页面)
• 灰狐咨询 ‎ (←链入页面)
• Rancher ‎ (←链入页面)