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

以下页面链接至Git：

• 首页 ‎ (←链入页面)
• Collaborative software ‎ (←链入页面)
• Development ‎ (←链入页面)
• Redmine ‎ (←链入页面)
• Review Board ‎ (←链入页面)
• OpenForge ‎ (←链入页面)
• GitHub ‎ (←链入页面)
• 模板:Category ‎ (←链入页面)
• InDefero ‎ (←链入页面)
• 分类:Git ‎ (←链入页面)
• TortoiseGit ‎ (←链入页面)
• Transifex ‎ (←链入页面)
• Indefero ‎ (←链入页面)
• Monotone ‎ (←链入页面)
• Gerrit ‎ (←链入页面)
• GitX ‎ (←链入页面)
• Revision control ‎ (←链入页面)
• Gitolite ‎ (←链入页面)
• Phabricator ‎ (←链入页面)
• Gitwiki ‎ (←链入页面)
• Cgit ‎ (←链入页面)
• Git/user ‎ (←链入页面)
• Git/administrator ‎ (←链入页面)
• Git/developer ‎ (←链入页面)
• AWS CodeCommit ‎ (←链入页面)
• Libgit2 ‎ (←链入页面)
• Gogs ‎ (←链入页面)
• Bower ‎ (←链入页面)
• Gitbucket ‎ (←链入页面)