欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜：Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
Rietveld
来自开放百科 - 灰狐
（版本间的差异）
小 (以内容'rietveld: 面向 Subversion 的代码审查工具，基于 Django 和 Python 构建，托管 Google App Engine。 ==链接== *[http://code.google.com/p/ri...'创建新页面) |
2010年11月30日 (二) 10:34的最后版本
rietveld: 面向 Subversion 的代码审查工具，基于 Django 和 Python 构建，托管 Google App Engine。
[编辑] 链接
<discussion>characters_max=300</discussion>
分享您的观点
