欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜：Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
GNU Savannah
来自开放百科 - 灰狐
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.
Users
分享您的观点
