欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/Agda, C++/Erlang/Lisp
熟悉PHP+MYSQL开发,精通C/C++、Qt编程。 最近正在做一个下载服务的应用,也因此知道了Open Download Manager这个项目。我希望能加入到这个项目中来,也算为开源事业贡献出自己的一点微薄之力。