欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/Agda, C++/Erlang/Lisp
Mastodon
社交网络,交还予你
Mastodon 并非推特或脸书这样的单一网站,而是由成千上万个社区组成的网络。这些社区由不同组织或个人运营,共同为用户提供无缝的社交网络体验。