欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
Fritzing:是一个开源(GPL v3)电路图和电子设计自动化软件,支持 Arduino 和 树莓派。
面包板
原理图
PCB
代码