欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜：Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
PyXPCOM 允许在Python 和 XPCOM 之间建立通信, 这样 Python 应用就可以访问 XPCOM 对象, XPCOM 也能访问任意使用了 XPCOM 接口的 Python类。
