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

• AKevenVillarreal (2012年9月9日 (星期日) 18:00创建)
• ALabarbera960 (2012年4月9日 (星期一) 16:38创建)
• ALarry333 (2012年7月16日 (星期一) 17:40创建)
• AModestoHammondg (2012年6月21日 (星期四) 17:16创建)
• ASDF1223 (2012年1月29日 (星期日) 02:48创建)
• ASboatsj3 (2012年9月26日 (星期三) 16:08创建)
• AShonnaWatkinsv (2012年6月21日 (星期四) 21:26创建)
• Aa (2007年9月10日 (星期一) 00:55创建)
• Aaa (2011年1月6日 (星期四) 06:22创建)
• Aaaa (2007年11月22日 (星期四) 17:29创建)
• Aaaanakgalau12345d2 (2012年3月7日 (星期三) 16:29创建)
• Aaaawow (2008年1月24日 (星期四) 03:03创建)
• Aabc2007 (2007年4月19日 (星期四) 21:19创建)
• Aacartransport (2012年1月23日 (星期一) 14:35创建)
• AadiBurgoyne613 (2012年1月26日 (星期四) 10:05创建)
• AadiDavenport3551 (2012年2月8日 (星期三) 11:42创建)
• AaeeshaFagg80 (2012年4月15日 (星期日) 22:01创建)
• AaeeshaGrier1273 (2012年8月9日 (星期四) 04:15创建)
• AaeeshaSelkirk8788 (2012年7月31日 (星期二) 23:46创建)
• AaeeshaUsher1254 (2012年3月24日 (星期六) 02:03创建)
• Aagiimkx (2012年6月8日 (星期五) 23:46创建)
• Aagxmn (2012年6月27日 (星期三) 00:31创建)
• AahwaanithWhealdon15493 (2012年5月19日 (星期六) 14:02创建)
• Aaktiga333165rst (2012年2月21日 (星期二) 08:20创建)
• Aakwakuvu (2012年4月14日 (星期六) 06:36创建)
• AalamNefis7054 (2012年7月26日 (星期四) 09:58创建)
• Aalfvkhaij (2012年4月18日 (星期三) 08:04创建)
• AaliyahDudley7001 (2012年7月13日 (星期五) 13:04创建)
• AaliyahIrish5712 (2012年7月30日 (星期一) 00:55创建)
• Aalxnjov (2012年8月15日 (星期三) 12:09创建)
• Aananthavathana (2012年9月28日 (星期五) 05:58创建)
• Aaniao002 (2007年4月12日 (星期四) 01:35创建)
• AanisahMcGuire5786 (2012年8月2日 (星期四) 15:40创建)
• AanisahRing17398 (2012年7月31日 (星期二) 23:01创建)
• AanisahWing3673 (2012年7月19日 (星期四) 03:06创建)
• AaraoMorley10714 (2012年7月18日 (星期三) 03:00创建)
• AaraoThomas9112 (2012年7月18日 (星期三) 13:31创建)
• AarenGuenther769 (2012年8月26日 (星期日) 10:54创建)
• AaricWorcester46 (2012年6月22日 (星期五) 21:16创建)
• Aarikkabelly37 (2012年2月24日 (星期五) 03:50创建)
• AarmanBenedict3035 (2012年4月7日 (星期六) 01:00创建)
• AarmanDennis18686 (2012年7月25日 (星期三) 19:34创建)
• AarmanSchaffer851 (2012年3月28日 (星期三) 10:07创建)
• AarmanYarrow7856 (2012年8月17日 (星期五) 22:48创建)
• Aaron39 (2012年7月21日 (星期六) 10:41创建)
• Aaron55 (2012年5月23日 (星期三) 09:10创建)
• Aaron62 (2012年6月8日 (星期五) 10:22创建)
• Aaron83 (2012年6月8日 (星期五) 13:43创建)
• Aaron85 (2012年6月16日 (星期六) 13:15创建)
• AaronMasten12892 (2012年8月9日 (星期四) 08:34创建)