Code

Fix usage of deprecated theorems#564

Code

Merged

shaobo-he-aws merged 1 commit intomaincedar-policy/cedar-spec:mainfrom chore/shaobo/fix-deprecatedcedar-policy/cedar-spec:chore/shaobo/fix-deprecatedCopy head branch name to clipboardMar 3, 2025

+5-5

Commits

Commits on Mar 3, 2025

• Fix usage of deprecated theorems

  Show description for bbfb06e
  shaobo-he-aws

  committed
  bbfb06e

  Copy full SHA for bbfb06e