欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜：Formal mathematics/Isabelle/ML, Formal verification/Coq/Agda, C++/Erlang/Lisp
Jabber
来自开放百科 - 灰狐
Jabber: Open Instant Messaging and a Whole Lot More, Powered by XMPP http://www.jabber.org/
Jabber, Inc. Enterprise Instant Messaging http://www.jabber.com/
Client软件
- Linux平台: Gaim, Gajim, Gossip, Kopete, Psi, Tkabber
- Macintosh平台: Adium, iChat, Psi
- Windows平台: Exodus, Pandion, Psi, Trillian Pro
分享您的观点
