欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜：Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
jupyter是IPython剥离出来成为一个语言无关的独立软件包。
jupyter已经支持50多种语言的内核，包括Lisp、R、F#、Perl、Ruby、Scala等。事实上即使IPython本身也是一个jupyter Python模块。提供 REPL（读取，求值，打印循环）交互式开发环境，类似于nrepl或SLIME。
$ jupyter notebook
Jupyter notebook
Atom notebook
