GitHub - resource-reasoning/Permissions: A first-order theory of permissions · GitHub

Name		Name	Last commit message	Last commit date
.gitattributes		.gitattributes
.gitignore		.gitignore
Intersections.v		Intersections.v
LList.v		LList.v
PermissionLogic.v		PermissionLogic.v
Tactics.v		Tactics.v
permissions.hs		permissions.hs

About

A first-order theory of permissions

Custom properties

0 stars

14 watching

Report repository

Releases

Packages

Contributors

Languages