欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜：Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
JHepWork
来自开放百科 - 灰狐
jHepWork is a full-featured multiplatform data-analysis framework for scientists, engineers and students. jHepWork incorporates many open-source math software packages into a coherent interface using the concept of Java scripting, rather than only-GUI or macro-based concept.
Screenshots
a graph made using a jyton script
Editing LaTeX files
Links
分享您的观点
