欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜：Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
GitLab
来自开放百科 - 灰狐
（版本间的差异）
(以“GitLab是开源(MIT)的代码托管系统，可看作GitHub的克隆。 ==链接== *[GitLab官网] *[http://git.oschina.net/ OSChina.net Git] category:ruby [[c...”为内容创建页面) |
2014年7月29日 (二) 14:35的版本
GitLab是开源(MIT)的代码托管系统，可看作GitHub的克隆。
链接
- [GitLab官网]
- OSChina.net Git
分享您的观点
