欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
spree commerce:一个 Ruby on Rails 驱动的网店和电子商务平台。
大家可以通过安装Docker镜像快速体验。
Docker镜像
网店首页
商品细节