欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜：Formal mathematics/Isabelle/ML, Formal verification/Coq/Agda, C++/Erlang/Lisp
#apt-cache search apache2
#apt-get insall apache2 #apt-get install libapache2-mod-php4 #apt-get install libapache2-mod-python2.3 #apt-get install libapache2-mod-ruby #apt-get install libapache2-mod-perl2
#apt-get install php4-mysql
