欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜：Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp

以下页面链接至Coq：

• GNU Emacs ‎ (←链入页面)
• 用户:Allen ‎ (←链入页面)
• OCaml ‎ (←链入页面)
• MediaWiki:Sitenotice ‎ (←链入页面)
• 灰狐教育 ‎ (←链入页面)
• Cryptography ‎ (←链入页面)
• 灰狐基金会 ‎ (←链入页面)
• Metaprogramming ‎ (←链入页面)
• 灰狐量子实验室 ‎ (←链入页面)
• 量子计算 ‎ (←链入页面)
• 灰狐咨询 ‎ (←链入页面)
• Huihoo Network ‎ (←链入页面)
• 灰狐会员 ‎ (←链入页面)
• 灰狐安全 ‎ (←链入页面)
• Haskell ecosystem ‎ (←链入页面)
• Agda ‎ (←链入页面)
• Formal verification ‎ (←链入页面)
• Idris ‎ (←链入页面)
• 分类:Coq ‎ (←链入页面)
• Open Provable Foundation ‎ (←链入页面)
• OCaml ecosystem ‎ (←链入页面)
• Formal mathematics ‎ (←链入页面)