CedarPooSpec0.1.0
Formal Cedar Spec integration and incremental proof reuse with Lean-POO, and maintained several vertical exmaples in seucirty field
1-1 of 1 versions of CedarPooSpec
Sort by
Date
- 0.1
0.1.0v4.35.025.2 MB
CedarPooSpec0.1.00.1.0