欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜：Formal mathematics/Isabelle/ML, Formal verification/Coq/Agda, C++/Erlang/Lisp
OpenAM is the market leading open source Authentication, Authorization, Entitlement and Federation product. ForgeRock provides the community with a new home for Sun Microsystems' OpenSSO product.
