-
BRUN Lelio authoredDiscussion w Xavier: replace this mechanism (fragile because of non-constructive witnesses) with a ghost-variables-based mechanism
BRUN Lelio authoredDiscussion w Xavier: replace this mechanism (fragile because of non-constructive witnesses) with a ghost-variables-based mechanism
Code owners
Assign users and groups as approvers for specific file changes. Learn more.