GitHub repository: Brandon-Rozek/cedar-spec
Primary language: Lean
Description: Definitional implementation of Cedar language and utilities for DRT