欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜：Formal mathematics/Isabelle/ML, Formal verification/Coq/Agda, C++/Erlang/Lisp
Minimo
来自开放百科 - 灰狐
Minimo: A small, simple, powerful, innovative, web browser for mobile devices.
Features:
- Fast access to your mobile content via Homebase start page
- Best support for modern web standards (Javascript and AJAX).
- Social Bookmarking
- Tab browsing
- RSS Support
- Proven security (TLS, SSL3)
- International support
- Cross platform capability
- Widget and Extension support
Links
分享您的观点
