欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
Huihoo设计与艺术
huihoo.com 2001 logo
huihoo推出的第一款服务Banner,
orbas1.0正式发布时Banner
自由生活,从Linux开始 ; Linux培训,从Huihoo开始