欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜：Formal mathematics/Isabelle/ML, Formal verification/Coq/Agda, C++/Erlang/Lisp

这是用户封禁和解封操作的日志。自动封禁IP地址没有列出。请见封禁列表查看目前正在进行的阻止和封禁的列表。

• 2016年2月11日 (四) 14:02 Allen (讨论 | 贡献)封禁JorgensenStephansen0 (讨论 | 贡献)，到期时间为无限期(账户创建停用、电子邮件停用)
• 2016年2月11日 (四) 14:02 Allen (讨论 | 贡献)封禁HongRice12 (讨论 | 贡献)，到期时间为无限期(账户创建停用、电子邮件停用)
• 2016年2月11日 (四) 14:02 Allen (讨论 | 贡献)封禁Sweet99Spears (讨论 | 贡献)，到期时间为无限期(账户创建停用、电子邮件停用)
• 2016年2月11日 (四) 14:01 Allen (讨论 | 贡献)封禁Walker48Skriver (讨论 | 贡献)，到期时间为无限期(账户创建停用、电子邮件停用)
• 2016年2月11日 (四) 14:01 Allen (讨论 | 贡献)封禁WichmannWilhelmsen12 (讨论 | 贡献)，到期时间为无限期(账户创建停用、电子邮件停用)
• 2016年2月11日 (四) 14:01 Allen (讨论 | 贡献)封禁AtkinsMorrow1 (讨论 | 贡献)，到期时间为无限期(账户创建停用、电子邮件停用)
• 2016年2月11日 (四) 14:01 Allen (讨论 | 贡献)封禁WestermannLeon19 (讨论 | 贡献)，到期时间为无限期(账户创建停用、电子邮件停用)
• 2016年2月11日 (四) 14:01 Allen (讨论 | 贡献)封禁HeadDaugherty16 (讨论 | 贡献)，到期时间为无限期(账户创建停用、电子邮件停用)
• 2016年2月11日 (四) 14:00 Allen (讨论 | 贡献)封禁NikolajsenRush2 (讨论 | 贡献)，到期时间为无限期(账户创建停用、电子邮件停用)
• 2016年2月11日 (四) 14:00 Allen (讨论 | 贡献)封禁Randomrunner26gokkast (讨论 | 贡献)，到期时间为无限期(账户创建停用、电子邮件停用)
• 2016年2月11日 (四) 14:00 Allen (讨论 | 贡献)封禁HenriksenHenriksen09 (讨论 | 贡献)，到期时间为无限期(账户创建停用、电子邮件停用)
• 2016年2月11日 (四) 13:59 Allen (讨论 | 贡献)封禁Emery28Lyon (讨论 | 贡献)，到期时间为无限期(账户创建停用、电子邮件停用)
• 2016年2月11日 (四) 13:59 Allen (讨论 | 贡献)封禁Thronetwist9 (讨论 | 贡献)，到期时间为无限期(账户创建停用、电子邮件停用)
• 2016年2月11日 (四) 13:59 Allen (讨论 | 贡献)封禁Gratisgokkasten15hotshot (讨论 | 贡献)，到期时间为无限期(账户创建停用、电子邮件停用)
• 2016年2月11日 (四) 13:59 Allen (讨论 | 贡献)封禁GauthierLarson4 (讨论 | 贡献)，到期时间为无限期(账户创建停用、电子邮件停用)
• 2016年2月11日 (四) 13:58 Allen (讨论 | 贡献)封禁SecherBalling5 (讨论 | 贡献)，到期时间为无限期(账户创建停用、电子邮件停用)
• 2016年2月11日 (四) 04:14 Allen (讨论 | 贡献)封禁Wood61Barrett (讨论 | 贡献)，到期时间为无限期(账户创建停用、电子邮件停用)
• 2016年2月11日 (四) 04:13 Allen (讨论 | 贡献)封禁Bakerdoubt0 (讨论 | 贡献)，到期时间为无限期(账户创建停用、电子邮件停用)
• 2016年2月11日 (四) 04:13 Allen (讨论 | 贡献)封禁KarlssonDelaney0 (讨论 | 贡献)，到期时间为无限期(账户创建停用、电子邮件停用)
• 2016年2月11日 (四) 04:13 Allen (讨论 | 贡献)封禁MilneSkovgaard76 (讨论 | 贡献)，到期时间为无限期(账户创建停用、电子邮件停用)
• 2016年2月11日 (四) 04:13 Allen (讨论 | 贡献)封禁LundeDugan7 (讨论 | 贡献)，到期时间为无限期(账户创建停用、电子邮件停用)
• 2016年2月11日 (四) 04:13 Allen (讨论 | 贡献)封禁BestBest36 (讨论 | 贡献)，到期时间为无限期(账户创建停用、电子邮件停用)
• 2016年2月11日 (四) 04:12 Allen (讨论 | 贡献)封禁Kristoffersen02Molloy (讨论 | 贡献)，到期时间为无限期(账户创建停用、电子邮件停用)
• 2016年2月11日 (四) 04:12 Allen (讨论 | 贡献)封禁Roomcougar2 (讨论 | 贡献)，到期时间为无限期(账户创建停用、电子邮件停用)
• 2016年2月11日 (四) 04:12 Allen (讨论 | 贡献)封禁FloresMclean90 (讨论 | 贡献)，到期时间为无限期(账户创建停用、电子邮件停用)
• 2016年2月11日 (四) 04:12 Allen (讨论 | 贡献)封禁DuelundRaahauge93 (讨论 | 贡献)，到期时间为无限期(账户创建停用、电子邮件停用)
• 2016年2月11日 (四) 04:11 Allen (讨论 | 贡献)封禁DoughertyVazquez48 (讨论 | 贡献)，到期时间为无限期(账户创建停用、电子邮件停用)
• 2016年2月11日 (四) 04:11 Allen (讨论 | 贡献)封禁Rollrice03 (讨论 | 贡献)，到期时间为无限期(账户创建停用、电子邮件停用)
• 2016年2月11日 (四) 04:11 Allen (讨论 | 贡献)封禁OnealLanier27 (讨论 | 贡献)，到期时间为无限期(账户创建停用、电子邮件停用)
• 2016年2月11日 (四) 04:11 Allen (讨论 | 贡献)封禁JonssonPalmer55 (讨论 | 贡献)，到期时间为无限期(账户创建停用、电子邮件停用)
• 2016年2月10日 (三) 12:51 Allen (讨论 | 贡献)封禁BatemanJames35 (讨论 | 贡献)，到期时间为无限期(账户创建停用、电子邮件停用)
• 2016年2月10日 (三) 12:51 Allen (讨论 | 贡献)封禁GuldbrandsenChandler45 (讨论 | 贡献)，到期时间为无限期(账户创建停用、电子邮件停用)
• 2016年2月9日 (二) 17:08 Allen (讨论 | 贡献)封禁Threadsoda87 (讨论 | 贡献)，到期时间为无限期(账户创建停用、电子邮件停用)
• 2016年1月31日 (日) 12:46 Allen (讨论 | 贡献)封禁ChaunceydoatgqtscvDunsworth (讨论 | 贡献)，到期时间为无限期(账户创建停用) (不能接受的用户名)
• 2015年12月7日 (一) 12:56 Allen (讨论 | 贡献)封禁无穷花 (讨论 | 贡献)，到期时间为无限期(账户创建停用、电子邮件停用) (添加垃圾外部链接)
• 2015年6月22日 (一) 16:17 Allen (讨论 | 贡献)封禁Testtest (讨论 | 贡献)，到期时间为无限期(账户创建停用) (测试账号)
• 2013年6月19日 (三) 06:56 Allen (讨论 | 贡献)封禁CherricwzpmpqhayNasers (讨论 | 贡献)，到期时间为无限期(账户创建停用、电子邮件停用)
• 2013年6月19日 (三) 06:55 Allen (讨论 | 贡献)封禁LeonqjkimlyxjlRownd (讨论 | 贡献)，到期时间为无限期(账户创建停用、电子邮件停用)
• 2013年5月22日 (三) 23:44 Allen (讨论 | 贡献)封禁Angryant (讨论 | 贡献)，到期时间为无限期(账户创建停用、电子邮件停用)
• 2013年5月11日 (六) 02:04 Allen (讨论 | 贡献)封禁Star sail (讨论 | 贡献)，到期时间为无限期(账户创建停用、电子邮件停用)
• 2013年5月9日 (四) 07:37 Allen (讨论 | 贡献)封禁LezliekasqysalwwHorey (讨论 | 贡献)，到期时间为无限期(账户创建停用、电子邮件停用)
• 2013年5月9日 (四) 07:37 Allen (讨论 | 贡献)封禁JonahfztqcvwuhcSmeal (讨论 | 贡献)，到期时间为无限期(账户创建停用、电子邮件停用)
• 2013年5月2日 (四) 13:03 Allen (讨论 | 贡献)封禁EmanuelvvmbiauwthZampedri (讨论 | 贡献)，到期时间为无限期(账户创建停用、电子邮件停用)
• 2013年4月19日 (五) 23:55 Allen (讨论 | 贡献)封禁ZachariahjgxfiflxcbPechacek (讨论 | 贡献)，到期时间为无限期(账户创建停用、电子邮件停用)
• 2013年4月19日 (五) 23:55 Allen (讨论 | 贡献)封禁InellkhstaehxreStavis (讨论 | 贡献)，到期时间为无限期(账户创建停用、电子邮件停用)
• 2013年4月10日 (三) 12:05 Allen (讨论 | 贡献)封禁ShaneitjmvydyrkOverbaugh (讨论 | 贡献)，到期时间为无限期(账户创建停用、电子邮件停用)
• 2013年4月10日 (三) 12:04 Allen (讨论 | 贡献)封禁MaurinedkxncepoejxvjrxczwtmekpyvsioykjlyfiMonges (讨论 | 贡献)，到期时间为无限期(账户创建停用、电子邮件停用)
• 2013年4月10日 (三) 12:04 Allen (讨论 | 贡献)封禁DremagqdyicspmeBonadonna (讨论 | 贡献)，到期时间为无限期(账户创建停用、电子邮件停用)
• 2013年1月8日 (二) 04:24 Allen (讨论 | 贡献)封禁DeeannatvytczyewaLathe (讨论 | 贡献)，到期时间为无限期(账户创建停用、电子邮件停用)
• 2013年1月6日 (日) 04:01 Allen (讨论 | 贡献)封禁XeveriaHull13867 (讨论 | 贡献)，到期时间为无限期(账户创建停用、电子邮件停用)