欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
GitLab
来自开放百科 - 灰狐
GitLab是开源(MIT)的代码托管系统,可看作GitHub的克隆。
目录 |
图集
用户
文档
技巧
提交时不输入用户名,修改 .git/config,把 http -> git,如:
url = [email protected]:longhui/rabbit-in-action.git
链接
分享您的观点