欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜：Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
cljsjs 为 ClojureScript 开发者集成使用 JavaScript 库提供了一个简便方法，这样就可以重用大量优质的 JS 库。
