欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜：Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
想出国留学吗？可以参考一下了:留学 留学 留学 留学 出国留学 美国留学 美国留学 加拿大留学 加拿大留学 加拿大留学 加拿大留学 加拿大留学 加拿大留学 韩国留学 韩国留学 韩国留学 韩国留学 韩国留学 韩国留学 澳洲留学 澳大利亚留学 澳大利亚留学 澳洲留学 澳大利亚留学 澳大利亚留学 德国留学 德国留学 英国留学 英国留学 英国留学 英国留学 英国留学 英国留学 荷兰留学 荷兰留学 帕金森 帕金森 脑萎缩 脑萎缩
