awslabs/duvet

Verified citation type

Opened this issue · 0 comments

seebees commented

Like a test but stronger, this would tie a proof or part of a larger proof to the requirement.