cedar-spec/cedar-lean at main ยท cedar-policy/cedar-spec
Definitional implementation of Cedar language and utilities for DRT - cedar-policy/cedar-spec