欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜：Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
Adminpages
来自开放百科 - 灰狐
A content management system on Rails. Use it to administer design-heavy sites in a user-friendly way. Features: Manipulate pages and content with Drag n Drop, "Nice" URLs, Caching, FCKEditor, multiple columns per page, custom content types
分享您的观点
