欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/Agda, C++/Erlang/Lisp
用户贡献
这个IP地址现时正在被封锁中。 最近的封锁日志项目在下面提供以便参考:
- 2012年11月18日 (日) 01:02 Allen (讨论 | 贡献)封禁96.47.225.66 (讨论),到期时间为无限期(账户创建停用、电子邮件停用)
- 2012年11月17日 (六) 15:51 (差异 | 历史) . . (-26) . . GNU/Linux P2P Applications (Vimax)
- 2012年11月16日 (五) 09:58 (差异 | 历史) . . (-13,744) . . GNU/Linux P2P Applications (Vimax work)
分享您的观点