欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/Agda, C++/Erlang/Lisp
现就读与河北师范大学软件学院,对程序设计有着疯狂的热爱。熟悉PHP+MYSQL开发,精通C/C++、Qt编程。