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

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

• 2013年1月2日 (三) 15:07 Allen (讨论 | 贡献)封禁AlisaFosdyke5518 (讨论 | 贡献)，到期时间为无限期(账户创建停用、电子邮件停用)
• 2013年1月2日 (三) 15:06 Allen (讨论 | 贡献)封禁DalyLayfield528 (讨论 | 贡献)，到期时间为无限期(账户创建停用、电子邮件停用)
• 2013年1月2日 (三) 14:56 Allen (讨论 | 贡献)封禁MargertcemkuxdorwKirch (讨论 | 贡献)，到期时间为无限期(账户创建停用、电子邮件停用)
• 2013年1月2日 (三) 14:53 Allen (讨论 | 贡献)封禁DaceyPrivett570 (讨论 | 贡献)，到期时间为无限期(账户创建停用、电子邮件停用)
• 2013年1月2日 (三) 14:52 Allen (讨论 | 贡献)封禁DacyPegues625 (讨论 | 贡献)，到期时间为无限期(账户创建停用、电子邮件停用)
• 2013年1月2日 (三) 14:50 Allen (讨论 | 贡献)封禁RosstonDarrell12290 (讨论 | 贡献)，到期时间为无限期(账户创建停用、电子邮件停用)
• 2013年1月2日 (三) 14:48 Allen (讨论 | 贡献)封禁CybCordle114 (讨论 | 贡献)，到期时间为无限期(账户创建停用、电子邮件停用)
• 2013年1月2日 (三) 14:47 Allen (讨论 | 贡献)封禁CyndyAcord309 (讨论 | 贡献)，到期时间为无限期(账户创建停用、电子邮件停用)
• 2013年1月2日 (三) 14:47 Allen (讨论 | 贡献)封禁AaronrftnplnejjKern (讨论 | 贡献)，到期时间为无限期(账户创建停用、电子邮件停用)
• 2013年1月2日 (三) 14:47 Allen (讨论 | 贡献)封禁JaiceeHope15619 (讨论 | 贡献)，到期时间为无限期(账户创建停用、电子邮件停用)
• 2013年1月2日 (三) 14:46 Allen (讨论 | 贡献)封禁CutrightLaskowski173 (讨论 | 贡献)，到期时间为无限期(账户创建停用、电子邮件停用)
• 2013年1月2日 (三) 13:46 Allen (讨论 | 贡献)封禁CulleyGagnon976 (讨论 | 贡献)，到期时间为无限期(账户创建停用、电子邮件停用)
• 2013年1月2日 (三) 13:35 Allen (讨论 | 贡献)封禁CrozierSealey383 (讨论 | 贡献)，到期时间为无限期(账户创建停用、电子邮件停用)
• 2013年1月2日 (三) 13:35 Allen (讨论 | 贡献)封禁CrouseGaona942 (讨论 | 贡献)，到期时间为无限期(账户创建停用、电子邮件停用)
• 2013年1月2日 (三) 13:35 Allen (讨论 | 贡献)封禁KelleycdeulvrthutrmzxtxtumtfwyqrlomfxlxaxLopardo (讨论 | 贡献)，到期时间为无限期(账户创建停用、电子邮件停用)
• 2013年1月2日 (三) 13:34 Allen (讨论 | 贡献)封禁Jilyrerwtr4 (讨论 | 贡献)，到期时间为无限期(账户创建停用、电子邮件停用)
• 2013年1月2日 (三) 13:29 Allen (讨论 | 贡献)封禁CurreyEdelstein919 (讨论 | 贡献)，到期时间为无限期(账户创建停用、电子邮件停用)
• 2013年1月2日 (三) 13:25 Allen (讨论 | 贡献)封禁CurrentStansberry940 (讨论 | 贡献)，到期时间为无限期(账户创建停用、电子邮件停用)
• 2013年1月2日 (三) 13:23 Allen (讨论 | 贡献)封禁FloraqijczvwabfdowiubaxxkervykordhmgkoxoKolat (讨论 | 贡献)，到期时间为无限期(账户创建停用、电子邮件停用)
• 2013年1月2日 (三) 13:22 Allen (讨论 | 贡献)封禁AbelCostar3351 (讨论 | 贡献)，到期时间为无限期(账户创建停用、电子邮件停用)
• 2013年1月2日 (三) 13:22 Allen (讨论 | 贡献)封禁TonıtaxcsgfcerwvJakeman (讨论 | 贡献)，到期时间为无限期(账户创建停用、电子邮件停用)
• 2013年1月2日 (三) 13:21 Allen (讨论 | 贡献)封禁BedaPye1030 (讨论 | 贡献)，到期时间为无限期(账户创建停用、电子邮件停用)
• 2013年1月2日 (三) 13:21 Allen (讨论 | 贡献)封禁CurcioTruong349 (讨论 | 贡献)，到期时间为无限期(账户创建停用、电子邮件停用)
• 2013年1月2日 (三) 12:53 Allen (讨论 | 贡献)封禁DarylSiebert698 (讨论 | 贡献)，到期时间为无限期(账户创建停用、电子邮件停用)
• 2013年1月2日 (三) 12:53 Allen (讨论 | 贡献)封禁PamelaxesdhvklpdKessans (讨论 | 贡献)，到期时间为无限期(账户创建停用、电子邮件停用)
• 2013年1月2日 (三) 12:52 Allen (讨论 | 贡献)封禁MillardCarew3612 (讨论 | 贡献)，到期时间为无限期(账户创建停用、电子邮件停用)
• 2013年1月2日 (三) 12:52 Allen (讨论 | 贡献)封禁CrumleyDeyo771 (讨论 | 贡献)，到期时间为无限期(账户创建停用、电子邮件停用)
• 2013年1月2日 (三) 12:52 Allen (讨论 | 贡献)封禁KagenBurrell13817 (讨论 | 贡献)，到期时间为无限期(账户创建停用、电子邮件停用)
• 2013年1月2日 (三) 12:52 Allen (讨论 | 贡献)封禁CrystalHalls485 (讨论 | 贡献)，到期时间为无限期(账户创建停用、电子邮件停用)
• 2013年1月2日 (三) 09:54 Allen (讨论 | 贡献)封禁FarisGrissell3652 (讨论 | 贡献)，到期时间为无限期(账户创建停用、电子邮件停用)
• 2013年1月2日 (三) 09:53 Allen (讨论 | 贡献)封禁MavrickLobdale15863 (讨论 | 贡献)，到期时间为无限期(账户创建停用、电子邮件停用)
• 2013年1月2日 (三) 09:32 Allen (讨论 | 贡献)封禁FlorianaKipp1498 (讨论 | 贡献)，到期时间为无限期(账户创建停用、电子邮件停用)
• 2013年1月2日 (三) 07:43 Allen (讨论 | 贡献)封禁DarceeMello567 (讨论 | 贡献)，到期时间为无限期(账户创建停用、电子邮件停用)
• 2013年1月2日 (三) 07:42 Allen (讨论 | 贡献)封禁DaffiSchrum881 (讨论 | 贡献)，到期时间为无限期(账户创建停用、电子邮件停用)
• 2013年1月2日 (三) 07:42 Allen (讨论 | 贡献)封禁Danit1476 (讨论 | 贡献)，到期时间为无限期(账户创建停用、电子邮件停用)
• 2013年1月2日 (三) 07:41 Allen (讨论 | 贡献)封禁HideOgden1701 (讨论 | 贡献)，到期时间为无限期(账户创建停用、电子邮件停用)
• 2013年1月2日 (三) 07:41 Allen (讨论 | 贡献)封禁DanielleFerguson362 (讨论 | 贡献)，到期时间为无限期(账户创建停用、电子邮件停用)
• 2013年1月2日 (三) 07:38 Allen (讨论 | 贡献)封禁BrıtneybneycgswcnZınck (讨论 | 贡献)，到期时间为无限期(账户创建停用、电子邮件停用)
• 2013年1月1日 (二) 13:57 Allen (讨论 | 贡献)封禁KiaunaDrummond14652 (讨论 | 贡献)，到期时间为无限期(账户创建停用、电子邮件停用)
• 2013年1月1日 (二) 13:53 Allen (讨论 | 贡献)封禁GracianaHeriot9479 (讨论 | 贡献)，到期时间为无限期(账户创建停用、电子邮件停用)
• 2013年1月1日 (二) 12:42 Allen (讨论 | 贡献)封禁CuellarThomasson868 (讨论 | 贡献)，到期时间为无限期(账户创建停用、电子邮件停用)
• 2013年1月1日 (二) 12:42 Allen (讨论 | 贡献)封禁DeinaHatton8795 (讨论 | 贡献)，到期时间为无限期(账户创建停用、电子邮件停用)
• 2013年1月1日 (二) 10:42 Allen (讨论 | 贡献)封禁CulpepperFortunato792 (讨论 | 贡献)，到期时间为无限期(账户创建停用、电子邮件停用)
• 2013年1月1日 (二) 10:41 Allen (讨论 | 贡献)封禁CurlSchaub99 (讨论 | 贡献)，到期时间为无限期(账户创建停用、电子邮件停用)
• 2013年1月1日 (二) 10:40 Allen (讨论 | 贡献)封禁EmilioWhittaker1103 (讨论 | 贡献)，到期时间为无限期(账户创建停用、电子邮件停用)
• 2013年1月1日 (二) 10:40 Allen (讨论 | 贡献)封禁CurrinFuchs184 (讨论 | 贡献)，到期时间为无限期(账户创建停用、电子邮件停用)
• 2013年1月1日 (二) 10:38 Allen (讨论 | 贡献)封禁CrystalBower659 (讨论 | 贡献)，到期时间为无限期(账户创建停用、电子邮件停用)
• 2013年1月1日 (二) 10:38 Allen (讨论 | 贡献)封禁RainierKitts8184 (讨论 | 贡献)，到期时间为无限期(账户创建停用、电子邮件停用)
• 2013年1月1日 (二) 10:38 Allen (讨论 | 贡献)封禁CummingTelford137 (讨论 | 贡献)，到期时间为无限期(账户创建停用、电子邮件停用)
• 2013年1月1日 (二) 09:43 Allen (讨论 | 贡献)封禁CruceFu137 (讨论 | 贡献)，到期时间为无限期(账户创建停用、电子邮件停用)