欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
OpenJUMP
来自开放百科 - 灰狐
The JUMP Pilot Project is a sponsor of volunteer and open source development of the JUMP GIS Workbench, the most promising cross-platform Java GIS program to date. The result of this collaboration is the OpenJUMP software, a collaborative version of JUMP
Links
分享您的观点