欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/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/
分享您的观点