欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
JetBrains
来自开放百科 - 灰狐
您可以在Wikipedia上了解到此条目的英文信息 JetBrains Thanks, Wikipedia. |
JetBrains是一家捷克的软件开发公司,该公司总部在捷克布拉格,并在俄国的圣彼得堡及美国波士顿都设有办公室,该公司最为人所熟知的产品是Java编程语言集成开发环境:IntelliJ IDEA。
产品
图集
链接
分享您的观点