欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜：Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2/Agda, C++/Lisp/Haskell
虚拟私有网络，又称为虚拟专用网络（英文: Virtual Private Network，简称VPN），是一种常用于连接大、中型企业或团体与团体间的私有网络的通讯方法。虚拟私有网络的信息通过公网（如：互联网）来传送内网的网络信息。
<discussion>characters_max=300</discussion>
