欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2/Agda, C++/Lisp/Haskell
Substruct
来自开放百科 - 灰狐
Substruct: Open-source Ruby on Rails E-Commerce
Demo
http://substruct.subimage.com/ http://substruct.subimage.com/admin admin/admin
Links
分享您的观点