cedar-spec/cedar-lean at main ยท cedar-policy/cedar-spec

Definitional implementation of Cedar language and utilities for DRT - cedar-policy/cedar-spec