欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜：Formal mathematics/Isabelle/ML, Formal verification/Coq/Agda, C++/Erlang/Lisp
DebianGis
来自开放百科 - 灰狐
DebianGis is about improving Debian to make it the best distribution for Geographical Information System applications and users. A good deal of GIS related softwares and libraries (e.g. GRASS, see http://grass.itc.it) are already present in Debian.
分享您的观点
