欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
Slim Framework:是一个微型的PHP 5框架,帮助开发者快速编写简单、但功能强大的 RESTful 风格的 Web应用和 APIs,继承了 Sinatra 和 Web.py 的哲学,值得学习参考。