欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
Open Hardware
来自开放百科 - 灰狐
每个人小时候都有拥有一个机器人的梦想, 就象<<长江7号>> 所描述的那样。
或许 OpenHardware 能让更多人实现这个儿时的梦想。
Projects Home: http://hardware.huihoo.org/
Projects
Links
分享您的观点