欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
RewardJS:以奖励的方式鼓励你参与开源项目的Bug发现和修复。
开源项目可更多借鉴这种方法。