lambda-mountain icon indicating copy to clipboard operation
lambda-mountain copied to clipboard

Published 20 hours ago • verified publisher icon andrew-johnson-4

Check preconditions / postconditions on Labels in Coq

Open andrew-johnson-4 opened this issue 1 year ago • 0 comments
trafficstars

Preconditions can attach to labels. Postconditions can be unified from all possible branches.

andrew-johnson-4 avatar Aug 11 '24 17:08 andrew-johnson-4