欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜：Formal mathematics/Isabelle/ML, Formal verification/Coq/Agda, C++/Erlang/Lisp
geoportal是Esri公司发布的开源(Apache2)GIS项目。
因为中国三大通信运营商（中国移动、中国电信、中国联通）的LBS基地全部采用ArcGIS产品来组建，所以Esri的开源项目还是要多多关注的。
