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

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

• 2013年1月6日 (日) 03:01 Allen (讨论 | 贡献)封禁SiubhanGuy3012 (讨论 | 贡献)，到期时间为无限期(账户创建停用、电子邮件停用)
• 2013年1月6日 (日) 03:00 Allen (讨论 | 贡献)封禁TeppoSymington2834 (讨论 | 贡献)，到期时间为无限期(账户创建停用、电子邮件停用)
• 2013年1月6日 (日) 02:59 Allen (讨论 | 贡献)封禁MacMillanColven1693 (讨论 | 贡献)，到期时间为无限期(账户创建停用、电子邮件停用)
• 2013年1月6日 (日) 02:28 Allen (讨论 | 贡献)封禁EszterCole10224 (讨论 | 贡献)，到期时间为无限期(账户创建停用、电子邮件停用)
• 2013年1月5日 (六) 16:43 Allen (讨论 | 贡献)封禁EarnanCall2843 (讨论 | 贡献)，到期时间为无限期(账户创建停用、电子邮件停用)
• 2013年1月5日 (六) 16:16 Allen (讨论 | 贡献)封禁CandiceetblrjkfuvDarvile (讨论 | 贡献)，到期时间为无限期(账户创建停用、电子邮件停用)
• 2013年1月5日 (六) 15:17 Allen (讨论 | 贡献)封禁DarrahSaad600 (讨论 | 贡献)，到期时间为无限期(账户创建停用、电子邮件停用)
• 2013年1月5日 (六) 12:27 Allen (讨论 | 贡献)封禁CymreigesHogan6312 (讨论 | 贡献)，到期时间为无限期(账户创建停用、电子邮件停用)
• 2013年1月5日 (六) 12:16 Allen (讨论 | 贡献)封禁AlvaroPaddock2483 (讨论 | 贡献)，到期时间为无限期(账户创建停用、电子邮件停用)
• 2013年1月5日 (六) 12:15 Allen (讨论 | 贡献)封禁DennisonSuter11168 (讨论 | 贡献)，到期时间为无限期(账户创建停用、电子邮件停用)
• 2013年1月5日 (六) 12:11 Allen (讨论 | 贡献)封禁CerellaMcWithy197 (讨论 | 贡献)，到期时间为无限期(账户创建停用、电子邮件停用)
• 2013年1月5日 (六) 12:07 Allen (讨论 | 贡献)封禁HectordhkdfcovsjCavel (讨论 | 贡献)，到期时间为无限期(账户创建停用、电子邮件停用)
• 2013年1月5日 (六) 12:06 Allen (讨论 | 贡献)封禁MadelonShiel15840 (讨论 | 贡献)，到期时间为无限期(账户创建停用、电子邮件停用)
• 2013年1月5日 (六) 12:06 Allen (讨论 | 贡献)封禁SydneyhxvdwpphsdWemark (讨论 | 贡献)，到期时间为无限期(账户创建停用、电子邮件停用)
• 2013年1月5日 (六) 12:04 Allen (讨论 | 贡献)封禁ColwinColquhoun17308 (讨论 | 贡献)，到期时间为无限期(账户创建停用、电子邮件停用)
• 2013年1月5日 (六) 12:03 Allen (讨论 | 贡献)封禁NigeltiejlikqwiPohlmann (讨论 | 贡献)，到期时间为无限期(账户创建停用、电子邮件停用)
• 2013年1月5日 (六) 12:02 Allen (讨论 | 贡献)封禁OriCaw1664 (讨论 | 贡献)，到期时间为无限期(账户创建停用、电子邮件停用)
• 2013年1月5日 (六) 11:48 Allen (讨论 | 贡献)封禁KristynactpdqqfywRissanen (讨论 | 贡献)，到期时间为无限期(账户创建停用、电子邮件停用)
• 2013年1月5日 (六) 11:47 Allen (讨论 | 贡献)封禁NorrisvmiqepgotzCoutcher (讨论 | 贡献)，到期时间为无限期(账户创建停用、电子邮件停用)
• 2013年1月5日 (六) 11:27 Allen (讨论 | 贡献)封禁DarrinyqzuxbjabjotbjziqblsosmaeuyxpwmuqpwHawbaker (讨论 | 贡献)，到期时间为无限期(账户创建停用、电子邮件停用)
• 2013年1月5日 (六) 11:20 Allen (讨论 | 贡献)封禁MeaveCotesworth1531 (讨论 | 贡献)，到期时间为无限期(账户创建停用、电子邮件停用)
• 2013年1月5日 (六) 11:15 Allen (讨论 | 贡献)封禁RaleichFaal2402 (讨论 | 贡献)，到期时间为无限期(账户创建停用、电子邮件停用)
• 2013年1月5日 (六) 11:14 Allen (讨论 | 贡献)封禁GuenevereLucretia3082 (讨论 | 贡献)，到期时间为无限期(账户创建停用、电子邮件停用)
• 2013年1月5日 (六) 11:13 Allen (讨论 | 贡献)封禁GenarognqrgaolguDeshields (讨论 | 贡献)，到期时间为无限期(账户创建停用、电子邮件停用)
• 2013年1月5日 (六) 11:12 Allen (讨论 | 贡献)封禁AlizaWhitman2847 (讨论 | 贡献)，到期时间为无限期(账户创建停用、电子邮件停用)
• 2013年1月5日 (六) 11:00 Allen (讨论 | 贡献)封禁EmogenerwvixnqwoqAnness (讨论 | 贡献)，到期时间为无限期(账户创建停用、电子邮件停用)
• 2013年1月5日 (六) 11:00 Allen (讨论 | 贡献)封禁DavitaPratt882 (讨论 | 贡献)，到期时间为无限期(账户创建停用、电子邮件停用)
• 2013年1月5日 (六) 05:13 Allen (讨论 | 贡献)封禁YvonneoyfgchylinaijkipnidknlembuzzetkznreWollenburg (讨论 | 贡献)，到期时间为无限期(账户创建停用、电子邮件停用)
• 2013年1月5日 (六) 05:10 Allen (讨论 | 贡献)封禁AileneveoqwwyoitrwskqytiffotkaemjvqcyufdaMelhorn (讨论 | 贡献)，到期时间为无限期(账户创建停用、电子邮件停用)
• 2013年1月5日 (六) 05:09 Allen (讨论 | 贡献)封禁ValdmlexeprbtChalepah (讨论 | 贡献)，到期时间为无限期(账户创建停用、电子邮件停用)
• 2013年1月5日 (六) 05:09 Allen (讨论 | 贡献)封禁LodemaAudley13726 (讨论 | 贡献)，到期时间为无限期(账户创建停用、电子邮件停用)
• 2013年1月5日 (六) 05:07 Allen (讨论 | 贡献)封禁MariaKincade16458 (讨论 | 贡献)，到期时间为无限期(账户创建停用、电子邮件停用)
• 2013年1月5日 (六) 04:52 Allen (讨论 | 贡献)封禁RamoncgecfykdsbTworek (讨论 | 贡献)，到期时间为无限期(账户创建停用、电子邮件停用)
• 2013年1月5日 (六) 04:52 Allen (讨论 | 贡献)封禁AkandoCanon1777 (讨论 | 贡献)，到期时间为无限期(账户创建停用、电子邮件停用)
• 2013年1月5日 (六) 04:42 Allen (讨论 | 贡献)封禁DamiansaguekeznjSchultes (讨论 | 贡献)，到期时间为无限期(账户创建停用、电子邮件停用)
• 2013年1月5日 (六) 04:20 Allen (讨论 | 贡献)封禁BirdineHayman17867 (讨论 | 贡献)，到期时间为无限期(账户创建停用、电子邮件停用)
• 2013年1月5日 (六) 03:39 Allen (讨论 | 贡献)封禁ThanhvrhrledxeiCarwile (讨论 | 贡献)，到期时间为无限期(账户创建停用、电子邮件停用)
• 2013年1月5日 (六) 03:36 Allen (讨论 | 贡献)封禁AlainanoqleecbprRandt (讨论 | 贡献)，到期时间为无限期(账户创建停用、电子邮件停用)
• 2013年1月5日 (六) 03:34 Allen (讨论 | 贡献)封禁DeberanaidpkdierCratch (讨论 | 贡献)，到期时间为无限期(账户创建停用、电子邮件停用)
• 2013年1月4日 (五) 15:55 Allen (讨论 | 贡献)封禁EdoardoMarcus662 (讨论 | 贡献)，到期时间为无限期(账户创建停用、电子邮件停用)
• 2013年1月4日 (五) 11:57 Allen (讨论 | 贡献)封禁ElainajdayyaicrcxkdsaargcgaobngpmpbxshkieDerita (讨论 | 贡献)，到期时间为无限期(账户创建停用、电子邮件停用)
• 2013年1月4日 (五) 08:52 Allen (讨论 | 贡献)封禁ZacherykwoumtycchWieseman (讨论 | 贡献)，到期时间为无限期(账户创建停用、电子邮件停用)
• 2013年1月4日 (五) 03:25 Allen (讨论 | 贡献)封禁MaiyaTrenor950 (讨论 | 贡献)，到期时间为无限期(账户创建停用、电子邮件停用)
• 2013年1月4日 (五) 03:24 Allen (讨论 | 贡献)封禁DelmerupbztsaisjWiley (讨论 | 贡献)，到期时间为无限期(账户创建停用、电子邮件停用)
• 2013年1月4日 (五) 03:19 Allen (讨论 | 贡献)封禁CruzSparkman256 (讨论 | 贡献)，到期时间为无限期(账户创建停用、电子邮件停用)
• 2013年1月4日 (五) 03:19 Allen (讨论 | 贡献)封禁GrazynazpnssffuyokjdfncjfsxaljalmanbevcwegGamons (讨论 | 贡献)，到期时间为无限期(账户创建停用、电子邮件停用)
• 2013年1月3日 (四) 14:53 Allen (讨论 | 贡献)封禁WaleisArchibald18181 (讨论 | 贡献)，到期时间为无限期(账户创建停用、电子邮件停用)
• 2013年1月2日 (三) 15:09 Allen (讨论 | 贡献)封禁HiramjnqhkovjfvIllsley (讨论 | 贡献)，到期时间为无限期(账户创建停用、电子邮件停用)
• 2013年1月2日 (三) 15:09 Allen (讨论 | 贡献)封禁DalilaRunyon503 (讨论 | 贡献)，到期时间为无限期(账户创建停用、电子邮件停用)
• 2013年1月2日 (三) 15:09 Allen (讨论 | 贡献)封禁PowellStryker4461 (讨论 | 贡献)，到期时间为无限期(账户创建停用、电子邮件停用)