欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2/Agda, C++/Lisp/Haskell
gLite 基于 Globus 开发和部署。主要使用Java语言实现网格功能,但也有一些其他的语言实现。