欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜：Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
GitHub
来自开放百科 - 灰狐
（版本间的差异）
| 第1行： | 第1行： | ||
GitHub: Secure [[Git]] hosting and collaborative development. GitHub采用[[Rails]]实现。 | GitHub: Secure [[Git]] hosting and collaborative development. GitHub采用[[Rails]]实现。 | ||
| − | http://github.com | + | ==Links== |
| + | *http://github.com | ||
| + | *http://svnhub.com/ | ||
2008年4月11日 (五) 09:54的版本
GitHub: Secure Git hosting and collaborative development. GitHub采用Rails实现。
Links
分享您的观点
