CedarPooSpec0.1.0
Formal Cedar Spec integration and incremental proof reuse with Lean-POO, and maintained several vertical exmaples in seucirty field
Sort by
Require Order
LeanPoo
b29ea0dCedar
ac201c1
CedarPooSpec0.1.0b29ea0dac201c1