欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜：Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
MySQL 开发者
MySQL源代码包里有 Doxyfile：performance_schema.
mkdir -p ./generated/doxygen doxygen Doxyfile-perfschema ./doxyerror.log ./generated/doxygen/html/index.html
