欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜：Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
SkipStone
来自开放百科 - 灰狐
SkipStone is a Gtk+ Web Browser that embeds Mozilla's rendering component Gecko. It aims to be light and fast with few dependencies. As of version 1.0.0 - Support for Apple WebKit has been added.
Links
分享您的观点
