欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜: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