欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
Rhodes 是一个 Ruby 开发的开源手机应用框架,能快速地为主流智能手机编写本地应用。目前支持 iPhone, Windows Mobile, RIM, Symbian 和 Android系统。
<discussion>characters_max=300</discussion>