欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜：Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
Dyne:bolic GNU/Linux
来自开放百科 - 灰狐
（版本间的差异）
| 第3行： | 第3行： | ||
http://www.dynebolic.org/ | http://www.dynebolic.org/ | ||
| + | |||
| + | ==ScreenShots== | ||
| + | [[Image:dynebolic_db1a5-shot2.jpg|thumb|left]] [[Image:dynebolic_db1a5-shot3.jpg|thumb|left]] [[Image:dynebolic_db1a5-shot.jpg|thumb|left]] [[Image:dynebolic_grab_apr2004-1.jpg|thumb|left]] [[Image:dynebolic_grab_apr2004-2.jpg|thumb|left]] [[Image:dynebolic_shot-141-1.jpg|thumb|left]] [[Image:dynebolic_shot-20-1.jpg|thumb|left]] | ||
2007年2月27日 (二) 13:10的版本
Dyne:bolic: a free multimedia studio in a GNU/Linux live CD
ScreenShots
分享您的观点
