欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
eXo platform is built on better discovery by the eXo Open Source community using the latest JEE and standardized technology. The products consist of:
http://www.exoplatform.com