欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
网际畅游 II 是一款基于 IE 内核的、多功能、个性化多页面浏览器. 它允许在同一窗口内打开任意多个页面, 减少浏览器对系统资源的占用率, 提高网上冲浪的效率. MyIE2 支持各种外挂工具及 IE 插件(plugins), 使你在 MyIE2 中可以充分利用所有的网上资源, 享受上网冲浪的乐趣.
MyIE2 现更名为 Maxthon