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

• Yieldk45 (2012年2月16日 (星期四) 07:23创建)
• Yifeng (2008年4月3日 (星期四) 09:27创建)
• YiftachCady485 (2012年2月17日 (星期五) 15:17创建)
• YiftachDunn2372 (2012年1月23日 (星期一) 15:55创建)
• YiftachGrasse4732 (2012年9月26日 (星期三) 07:52创建)
• YigilHawley9861 (2012年6月23日 (星期六) 03:14创建)
• YigolAlsop677 (2012年7月17日 (星期二) 07:13创建)
• YigolCarnigan13877 (2012年7月12日 (星期四) 03:05创建)
• YigolMann3017 (2012年8月2日 (星期四) 12:26创建)
• Yiizzhoou (2008年10月24日 (星期五) 07:32创建)
• Yijlbstge (2012年6月2日 (星期六) 16:34创建)
• Yikai911 (2007年5月25日 (星期五) 09:11创建)
• Yilhedv (2012年2月10日 (星期五) 00:39创建)
• Yilrdg (2012年6月2日 (星期六) 16:26创建)
• YingdiblehkarzHade (2012年8月29日 (星期三) 01:25创建)
• YinglnqzhnciyxRiker (2012年7月6日 (星期五) 22:45创建)
• Yingwenjia (2007年8月9日 (星期四) 18:11创建)
• Yingwenyoi (2007年8月8日 (星期三) 17:40创建)
• Yinliang (2008年1月19日 (星期六) 13:04创建)
• YinliangYue (2008年1月19日 (星期六) 13:02创建)
• Yinsui (2009年5月29日 (星期五) 09:11创建)
• Yinwenle (2011年7月19日 (星期二) 04:14创建)
• Yinzi (2008年1月25日 (星期五) 01:26创建)
• Yiqz (2008年9月7日 (星期日) 15:41创建)
• Yiqz2 (2008年9月7日 (星期日) 15:46创建)
• YiskaGodfrey15606 (2012年6月7日 (星期四) 13:47创建)
• YiskaHartshorn17398 (2012年4月30日 (星期一) 08:29创建)
• YiskaIngleby19508 (2012年8月28日 (星期二) 12:56创建)
• YisrealAllendorf3201 (2012年8月9日 (星期四) 07:07创建)
• YisrealClaget9217 (2012年8月9日 (星期四) 23:08创建)
• YisrealGrissell1799 (2012年6月13日 (星期三) 13:04创建)
• YisrealMiriam15114 (2012年7月16日 (星期一) 17:55创建)
• YissacharCaractacus763 (2012年9月10日 (星期一) 20:32创建)
• YissacharTolman12178 (2012年8月13日 (星期一) 05:28创建)
• YissacharWentworth1917 (2012年8月27日 (星期一) 09:12创建)
• YitzchakHolland2236 (2012年9月22日 (星期六) 14:39创建)
• Yiuhznxg (2012年5月13日 (星期日) 07:34创建)
• Yiuiuhxh (2012年1月16日 (星期一) 11:11创建)
• Yiuztbg (2012年6月2日 (星期六) 16:28创建)
• Yiyi (2007年7月12日 (星期四) 21:52创建)
• Yizkuhykg (2012年9月11日 (星期二) 03:45创建)
• Yj askyaya (2007年3月15日 (星期四) 16:36创建)
• Yj1124 (2012年10月31日 (星期三) 03:48创建)
• Yjeonz (2012年6月19日 (星期二) 05:32创建)
• Yjgkuhr (2012年2月6日 (星期一) 21:34创建)
• Yjhqlrap (2012年6月8日 (星期五) 06:41创建)
• Yjuteyaftj (2012年9月11日 (星期二) 14:49创建)
• Yjyurquiwu (2012年7月18日 (星期三) 20:35创建)
• Yjzswlp (2012年7月18日 (星期三) 17:13创建)
• Ykchryemsv (2012年7月13日 (星期五) 12:35创建)