欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
IPython 是 Python 原生交互式 Shell 的增强版,可以完成许多不同寻常的任务:比如帮助实现并行化计算、代码着色、改进了的命令行回调、制表符完成、宏功能以及改进了的交互式帮助等。
<discussion>characters_max=300</discussion>