欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/Agda, C++/Erlang/Lisp
所有公开日志
所有开放百科 - 灰狐公开日志的联合展示。你可以通过选择日志类型、输入用户名(区分大小写)或相关页面(区分大小写)筛选日志条目。
- 2012年11月21日 (三) 08:33 MelodyMelany (讨论 | 贡献)移动用户讨论:MelodyMelany页面至用户讨论:Los angeles gutters (No matter what kind of house you live in, big or small, fancy or average, when it gets damaged by water, you are in trouble. Preparing your home and taking precautionary measures such as calling your local rain gutters company)
- 2012年11月21日 (三) 08:18 MelodyMelany (讨论 | 贡献)创建用户账户
分享您的观点