欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/Agda, C++/Erlang/Lisp
搜索结果
在本wiki上新建名为“Stq:Foarloage:Benutser/Sproakboolke M”的页面!
- ...g="0" style="width: 238px; background: #c5fcdc; border: solid #6ef7a7 1px; margin: 1px; float: left;" | style="font-size:{{{5|8}}}pt;padding:4pt;line-height:1.25em" lang="{{{1}}}" dir="{{{6|ltr}}}" | {{{2|這個用戶能說該種母語。}1 KB(174个字) - 2010年9月23日 (四) 12:29
分享您的观点