欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
Scala IDE
来自开放百科 - 灰狐
Scala IDE
安装
安装新软件 Help > Install New Software...
http://download.scala-ide.org/sdk/lithium/e44/scala211/stable/site
链接
分享您的观点