欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/Agda, C++/Erlang/Lisp
Zentyal 是一个开源的统一网络服务器(平台),整合了众多开源软件,提供了丰富的网络功能,可作为网关、网管、统一风险管理、IDS、VPN、Firewall、办公服务器、通信服务器使用。
Zentyal
Zentyal云
Zentyal网络对象
Zentyal防火墙
Zentyal邮件过滤
<discussion>characters_max=300</discussion>