欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜：Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
Kasai是一个Java开发的开源认证与授权框架。它为多用户应用程序提供一个使用简单但功能强大的安全环境。
