欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜：Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
qTox
属于每个人的安全通信
随着政府监控项目的兴起，qTox 提供了一个易于使用的软件让您能够在与亲人和朋友联系的时候防止他人的偷窥。qTox 完全免费，并且没有广告。基于 Qt 和 C++ 构建，采用 GPL v3 许可协议。
