home.social

#cedarpolicy — Public Fediverse posts

Live and recent posts from across the Fediverse tagged #cedarpolicy, aggregated by home.social.

fetched live
  1. Adolfo Neto @[email protected] ·

    New Lean use case: 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/cedar

    #LeanLang #LeanProver #CedarPolicy #FormalVerification #AWS

    #leanlang #leanprover #cedarpolicy #formalverification #aws
  2. Adolfo Neto @[email protected] ·

    New Lean use case: 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/cedar

    #LeanLang #LeanProver #CedarPolicy #FormalVerification #AWS

    #leanlang #leanprover #cedarpolicy #formalverification #aws