欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
GNU Savannah
来自开放百科 - 灰狐
您可以在Wikipedia上了解到此条目的英文信息 GNU Savannah Thanks, Wikipedia. |
Savane is a Web-based Software hosting system. It includes issue tracking (bugs, tasks, support, news and documentation), project member management by roles and individual account maintenance.
It is written in PHP and Perl and is designed to run with Apache and MySQL.
用户
链接
分享您的观点