欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2/Agda, C++/Lisp/Haskell
Friend
来自开放百科 - 灰狐
				
								
				(版本间的差异)
				
																
				
				
								
 (以“Friend 是一个面向 Clojure/Ring Web应用和服务的验证(authentication)、授权(authorization)库。  ==指南==  ==图集==  ==链接== *[https://g...”为内容创建页面)  | 
			小  | 
			||
| 第4行: | 第4行: | ||
==图集==  | ==图集==  | ||
| + | <gallery>  | ||
| + | image:friend-workflow.png|工作流  | ||
| + | </gallery>  | ||
==链接==  | ==链接==  | ||
2016年5月9日 (一) 09:13的最后版本
Friend 是一个面向 Clojure/Ring Web应用和服务的验证(authentication)、授权(authorization)库。
[编辑] 指南
[编辑] 图集
[编辑] 链接
	分享您的观点