欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜：Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2/Agda, C++/Lisp/Haskell
Kitematic
来自开放百科 - 灰狐
（版本间的差异）
(以“Kitematic 是一个使用 JavaScript 开发的 Docker 容器桌面管理工具，支持 OS X 和 Windows 操作系统。 ==图集== ==链接== *[ht...”为内容创建页面) |
2015年7月18日 (六) 16:05的版本
Kitematic 是一个使用 JavaScript 开发的 Docker 容器桌面管理工具，支持 OS X 和 Windows 操作系统。
图集
链接
分享您的观点
