欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
AbulÉdu是一份来自法国的发行,它面向教育机构中数据处理应用而特别设计. 它最初基于Mandrake Linux, 但最近的发行则基于Debian/Knoppix.