欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/Agda, C++/Erlang/Lisp
留几手的被枪毙的演讲稿,真是看透了整个互联网行业啊。
查看某一时刻的文件,请单击相应的日期/时间。
没有页面链接到本文件。