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