欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜：Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
Mobile RSS Reader是一个手机RSS阅读器，用户可以收藏多个RSS/Atom Feed作为书签，支持从OPML文件或HTML文件导入Feed，支持离线阅读。
