Proving Policy Properties with Cedar's Symbolic Compiler

1 pointsposted 4 hours ago
by dvaddi
(dvlog.dev)

1 Comments