欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜：Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
{{|SeeWikipediaCN}}
电子前哨基金会
电子前线基金会（Electronic Frontier Foundation），是一个国际知名的民权组织，旨在维护互联网上的公民自由、提供法律援助、监督执法机构，总部设在美国。
