欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
Pharo 是一套开源Smalltalk程序开发平台。Pharo具备所谓live programming的特性,例如实时操控对象,实时更新等。Pharo支持高级Web开发架构,例如Seaside。