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

• Xzplpg (2012年9月15日 (星期六) 16:01创建)
• Xzqi (2007年8月23日 (星期四) 11:20创建)
• Xzzbaf (2012年7月25日 (星期三) 16:34创建)
• YAngelBarkerc (2012年5月7日 (星期一) 14:30创建)
• YBonner895 (2012年7月18日 (星期三) 06:26创建)
• YCarroll63 (2012年7月22日 (星期日) 15:27创建)
• YJones902 (2012年7月16日 (星期一) 11:13创建)
• YKareemSampsonm (2012年5月20日 (星期日) 23:16创建)
• YMateo86 (2012年7月20日 (星期五) 18:14创建)
• YRyan518 (2012年7月10日 (星期二) 03:27创建)
• YWillenaBentleyl (2012年6月1日 (星期五) 22:54创建)
• Ya20022003 (2006年7月31日 (星期一) 13:49创建)
• YaakovElton9192 (2012年8月11日 (星期六) 17:35创建)
• Yaaywmqzh (2012年2月6日 (星期一) 17:41创建)
• Yabyrzmh (2012年8月27日 (星期一) 11:12创建)
• YachneAberdeen3750 (2012年5月18日 (星期五) 18:30创建)
• YachneBullions12744 (2012年6月25日 (星期一) 05:56创建)
• YachneGirdwood7648 (2012年7月5日 (星期四) 08:55创建)
• YadiranyqykboenvMcallister (2012年8月29日 (星期三) 10:03创建)
• YadraEdwin16787 (2012年8月9日 (星期四) 09:47创建)
• YadraPaisley3851 (2012年5月1日 (星期二) 08:32创建)
• YadraShiel17044 (2012年3月31日 (星期六) 10:22创建)
• YaegerZamarripa963 (2012年9月17日 (星期一) 19:53创建)
• YaekomjwunmfhwhBuziak (2012年8月24日 (星期五) 18:49创建)
• YaekomuhbdztnghMcnurlen (2012年9月8日 (星期六) 04:11创建)
• YaelatfgkhorwqMesenbring (2012年10月25日 (星期四) 14:06创建)
• YaelxjkufbzverTommasino (2012年10月14日 (星期日) 12:45创建)
• YaelziosbqeogoBowden (2012年8月30日 (星期四) 03:45创建)
• YaffaAgrippa16765 (2012年5月24日 (星期四) 20:55创建)
• YaffaCutter741 (2012年1月3日 (星期二) 12:31创建)
• YaffaLouis2974 (2012年4月25日 (星期三) 11:37创建)
• YaffitCheney3073 (2012年9月2日 (星期日) 01:41创建)
• YaffitDorlan13911 (2012年7月30日 (星期一) 06:58创建)
• YaffitHarley5269 (2012年8月1日 (星期三) 17:19创建)
• Yafuizsgj (2012年3月4日 (星期日) 15:52创建)
• YagerBarrett603 (2012年9月6日 (星期四) 12:27创建)
• YagerEmmett997 (2012年9月8日 (星期六) 12:46创建)
• YagilBloss16811 (2012年4月10日 (星期二) 07:55创建)
• YagilLennox4479 (2012年6月29日 (星期五) 21:32创建)
• YagilSutton14684 (2012年7月12日 (星期四) 19:49创建)
• YagilWyman9862 (2012年9月2日 (星期日) 04:43创建)
• YagoBurg396 (2012年3月29日 (星期四) 08:57创建)
• YagoColbern10462 (2012年7月16日 (星期一) 05:47创建)
• YagoPye18810 (2012年8月7日 (星期二) 05:35创建)
• YagoSunderland3494 (2012年3月9日 (星期五) 11:37创建)
• YahtoByfield1528 (2012年6月18日 (星期一) 01:30创建)
• YahtoFoulis5667 (2012年4月3日 (星期二) 02:09创建)
• YahtoFulsom9018 (2012年7月13日 (星期五) 04:17创建)
• YairDarley1366 (2012年1月7日 (星期六) 20:20创建)
• YairRyder12208 (2012年8月16日 (星期四) 07:14创建)