欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/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