欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜：Formal mathematics/Isabelle/ML, Formal verification/Coq/Agda, C++/Erlang/Lisp
Adito
来自开放百科 - 灰狐
Adito is a web-based SSL VPN server. Adito's is written in Java and has a browser-based AJAX interface. Adito allows easy and safe access to most intranet services with just a web browser. Adito was originally forked from SSL-Explorer.
Links
分享您的观点
