欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜：Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2/Agda, C++/Lisp/Haskell
Cgit
来自开放百科 - 灰狐
（版本间的差异）
(以“cgit：一个 c 语言开发的 git 仓库 web 前端，Linux Kernel 使用了它。 ==用户== *[https://git.kernel.org/cgit/ Linux Kernel] *[http://anonsc...”为内容创建页面) |
2014年12月3日 (三) 05:11的版本
cgit：一个 c 语言开发的 git 仓库 web 前端，Linux Kernel 使用了它。
用户
链接
分享您的观点
