欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜：Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
Py4J 使得 Python 程序可以利用 Python 解释器直接调用Java虚拟机中的 Java 对象，也可以让 Java 回调 Python 对象，有点像 Python 版的 Java Native Interface (JNI)。
