欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/Agda, C++/Erlang/Lisp
文件讨论:80x15.png
来自开放百科 - 灰狐
Headline text
Bold textLink title文件:Example.jpg<math>Insert formula here</math><math>Insert formula here</math>Insert non-formatted text here--Zyq 20:20 2009年4月10日 (CST)--Zyq 20:20 2009年4月10日 (CST)
分享您的观点