欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
Scratchbox 是一个跨编译环境的开源(GPL)工具项目,它使得开发嵌入式Linux应用变得简单。