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

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

• 2013年1月1日 (二) 09:42 Allen (讨论 | 贡献)封禁AubinaPolk997 (讨论 | 贡献)，到期时间为无限期(账户创建停用、电子邮件停用)
• 2013年1月1日 (二) 07:39 Allen (讨论 | 贡献)封禁CroteauArredondo326 (讨论 | 贡献)，到期时间为无限期(账户创建停用、电子邮件停用)
• 2013年1月1日 (二) 07:36 Allen (讨论 | 贡献)封禁AnsteyFrances3099 (讨论 | 贡献)，到期时间为无限期(账户创建停用、电子邮件停用)
• 2013年1月1日 (二) 07:34 Allen (讨论 | 贡献)封禁Cheryl (讨论 | 贡献)，到期时间为无限期(账户创建停用、电子邮件停用)
• 2013年1月1日 (二) 07:34 Allen (讨论 | 贡献)封禁ButtsCoons556 (讨论 | 贡献)，到期时间为无限期(账户创建停用、电子邮件停用)
• 2013年1月1日 (二) 07:05 Allen (讨论 | 贡献)封禁CherlynBrackett945 (讨论 | 贡献)，到期时间为无限期(账户创建停用、电子邮件停用)
• 2013年1月1日 (二) 07:04 Allen (讨论 | 贡献)封禁JanaiCummings17199 (讨论 | 贡献)，到期时间为无限期(账户创建停用、电子邮件停用)
• 2013年1月1日 (二) 07:03 Allen (讨论 | 贡献)封禁AlfonsoitccixfgtyCleek (讨论 | 贡献)，到期时间为无限期(账户创建停用、电子邮件停用)
• 2013年1月1日 (二) 07:02 Allen (讨论 | 贡献)封禁DorothyenhnrojchcHardrict (讨论 | 贡献)，到期时间为无限期(账户创建停用、电子邮件停用)
• 2013年1月1日 (二) 07:02 Allen (讨论 | 贡献)封禁LucileRecord10441 (讨论 | 贡献)，到期时间为无限期(账户创建停用、电子邮件停用)
• 2013年1月1日 (二) 07:02 Allen (讨论 | 贡献)封禁ChilesWinters996 (讨论 | 贡献)，到期时间为无限期(账户创建停用、电子邮件停用)
• 2013年1月1日 (二) 07:01 Allen (讨论 | 贡献)封禁JaquelinNapier16834 (讨论 | 贡献)，到期时间为无限期(账户创建停用、电子邮件停用)
• 2013年1月1日 (二) 06:58 Allen (讨论 | 贡献)封禁ChesterMccain419 (讨论 | 贡献)，到期时间为无限期(账户创建停用、电子邮件停用)
• 2013年1月1日 (二) 06:58 Allen (讨论 | 贡献)封禁DarekCady159 (讨论 | 贡献)，到期时间为无限期(账户创建停用、电子邮件停用)
• 2013年1月1日 (二) 06:56 Allen (讨论 | 贡献)封禁CheungHauck997 (讨论 | 贡献)，到期时间为无限期(账户创建停用、电子邮件停用)
• 2013年1月1日 (二) 06:52 Allen (讨论 | 贡献)封禁KiranStyles19601 (讨论 | 贡献)，到期时间为无限期(账户创建停用、电子邮件停用)
• 2013年1月1日 (二) 04:28 Allen (讨论 | 贡献)封禁RhobertMaigny5909 (讨论 | 贡献)，到期时间为无限期(账户创建停用、电子邮件停用)
• 2013年1月1日 (二) 04:28 Allen (讨论 | 贡献)封禁EijazDangerfield12283 (讨论 | 贡献)，到期时间为无限期(账户创建停用、电子邮件停用)
• 2013年1月1日 (二) 04:27 Allen (讨论 | 贡献)封禁LingWare17009 (讨论 | 贡献)，到期时间为无限期(账户创建停用、电子邮件停用)
• 2013年1月1日 (二) 04:19 Allen (讨论 | 贡献)封禁MyronıwgtlfyxxqGallagher (讨论 | 贡献)，到期时间为无限期(账户创建停用、电子邮件停用)
• 2013年1月1日 (二) 04:03 Allen (讨论 | 贡献)封禁ChickTorgerson502 (讨论 | 贡献)，到期时间为无限期(账户创建停用、电子邮件停用)
• 2013年1月1日 (二) 04:00 Allen (讨论 | 贡献)封禁MelanieOxford9759 (讨论 | 贡献)，到期时间为无限期(账户创建停用、电子邮件停用)
• 2013年1月1日 (二) 02:05 Allen (讨论 | 贡献)封禁RolandeytxllqknzlBlakely (讨论 | 贡献)，到期时间为无限期(账户创建停用、电子邮件停用)
• 2013年1月1日 (二) 02:04 Allen (讨论 | 贡献)封禁ElijahftmxrjejdpFreiberg (讨论 | 贡献)，到期时间为无限期(账户创建停用、电子邮件停用)
• 2013年1月1日 (二) 01:58 Allen (讨论 | 贡献)封禁ChinBrandt478 (讨论 | 贡献)，到期时间为无限期(账户创建停用、电子邮件停用)
• 2012年12月31日 (一) 10:54 Allen (讨论 | 贡献)封禁ZeldazebsieaxhqPoyneer (讨论 | 贡献)，到期时间为无限期(账户创建停用、电子邮件停用)
• 2012年12月31日 (一) 10:51 Allen (讨论 | 贡献)封禁MackenzieauboccmqguHartery (讨论 | 贡献)，到期时间为无限期(账户创建停用、电子邮件停用)
• 2012年12月31日 (一) 10:41 Allen (讨论 | 贡献)封禁DavismoqmzvlnqvFolan (讨论 | 贡献)，到期时间为无限期(账户创建停用、电子邮件停用)
• 2012年12月31日 (一) 10:39 Allen (讨论 | 贡献)封禁MichelineedxibxzozgBruckman (讨论 | 贡献)，到期时间为无限期(账户创建停用、电子邮件停用)
• 2012年12月31日 (一) 10:36 Allen (讨论 | 贡献)封禁ArrosaBowles3164 (讨论 | 贡献)，到期时间为无限期(账户创建停用、电子邮件停用)
• 2012年12月31日 (一) 10:16 Allen (讨论 | 贡献)封禁CharlenakudjnurggtCompher (讨论 | 贡献)，到期时间为无限期(账户创建停用、电子邮件停用)
• 2012年12月31日 (一) 10:13 Allen (讨论 | 贡献)封禁NormandwhezspncekSuggs (讨论 | 贡献)，到期时间为无限期(账户创建停用、电子邮件停用)
• 2012年12月31日 (一) 10:09 Allen (讨论 | 贡献)封禁WileylisnzvexyaDatri (讨论 | 贡献)，到期时间为无限期(账户创建停用、电子邮件停用)
• 2012年12月31日 (一) 10:06 Allen (讨论 | 贡献)封禁JoshuatmqkglnsdjCarducci (讨论 | 贡献)，到期时间为无限期(账户创建停用、电子邮件停用)
• 2012年12月31日 (一) 10:01 Allen (讨论 | 贡献)封禁HiramqwvhfleuajKleppe (讨论 | 贡献)，到期时间为无限期(账户创建停用、电子邮件停用)
• 2012年12月31日 (一) 09:57 Allen (讨论 | 贡献)封禁ToddgczolbxiyiWergin (讨论 | 贡献)，到期时间为无限期(账户创建停用、电子邮件停用)
• 2012年12月31日 (一) 06:33 Allen (讨论 | 贡献)封禁BetterTradesEarningsCycle (讨论 | 贡献)，到期时间为无限期(账户创建停用、电子邮件停用)
• 2012年12月31日 (一) 06:33 Allen (讨论 | 贡献)封禁BearnardMar3792 (讨论 | 贡献)，到期时间为无限期(账户创建停用、电子邮件停用)
• 2012年12月31日 (一) 06:32 Allen (讨论 | 贡献)封禁BettyeRoyer391 (讨论 | 贡献)，到期时间为无限期(账户创建停用、电子邮件停用)
• 2012年12月31日 (一) 06:32 Allen (讨论 | 贡献)封禁BeveridgeFroehlich143 (讨论 | 贡献)，到期时间为无限期(账户创建停用、电子邮件停用)
• 2012年12月31日 (一) 04:26 Allen (讨论 | 贡献)封禁AdrienneStrange389 (讨论 | 贡献)，到期时间为无限期(账户创建停用、电子邮件停用)
• 2012年12月31日 (一) 04:22 Allen (讨论 | 贡献)封禁BeauchampPhilpott676 (讨论 | 贡献)，到期时间为无限期(账户创建停用、电子邮件停用)
• 2012年12月31日 (一) 04:22 Allen (讨论 | 贡献)封禁BeaneCullum997 (讨论 | 贡献)，到期时间为无限期(账户创建停用、电子邮件停用)
• 2012年12月31日 (一) 04:20 Allen (讨论 | 贡献)封禁BeardenSzymanski501 (讨论 | 贡献)，到期时间为无限期(账户创建停用、电子邮件停用)
• 2012年12月31日 (一) 04:10 Allen (讨论 | 贡献)封禁LeopoldoBrodt8249 (讨论 | 贡献)，到期时间为无限期(账户创建停用、电子邮件停用)
• 2012年12月31日 (一) 04:10 Allen (讨论 | 贡献)封禁DestinyVanderwerken2988 (讨论 | 贡献)，到期时间为无限期(账户创建停用、电子邮件停用)
• 2012年12月31日 (一) 04:10 Allen (讨论 | 贡献)封禁BretteColquhoun284 (讨论 | 贡献)，到期时间为无限期(账户创建停用、电子邮件停用)
• 2012年12月31日 (一) 04:09 Allen (讨论 | 贡献)封禁StellaLambourne18072 (讨论 | 贡献)，到期时间为无限期(账户创建停用、电子邮件停用)
• 2012年12月31日 (一) 04:09 Allen (讨论 | 贡献)封禁BrunotegwpqwpkaTynio (讨论 | 贡献)，到期时间为无限期(账户创建停用、电子邮件停用)
• 2012年12月31日 (一) 04:03 Allen (讨论 | 贡献)封禁MirabspuuonxlnVilhauer (讨论 | 贡献)，到期时间为无限期(账户创建停用、电子邮件停用)