欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
Duplicity 是一个开源(GPL)软件,提供简单的加密,数字签名,版本,文件的远程备份只需要很少的远程服务器。