New use case on our website: AWS's Cedar authorization policy language verified with Lean, using "verification-guided development", and integrated into Cedar's development workflow.
➡️Read more: lean-lang.org/use-cases/ce...
#LeanLang #LeanProver #CedarPolicy #FormalVerification #AWS
5
1
0
0