欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
Google Gadgets
来自开放百科 - 灰狐
Google Gadgets Build mini-apps that run on multiple sites including iGoogle, Google Desktop, or any webpage.
Google Gadgets can
- Add to iGoogle
- Add to Google Desktop
Links
分享您的观点