Skip to content

Add support for nested quantifiers in function contracts

33b412b
Select commit
Loading
Failed to load commit list.
Merged

Supports nested quantifiers in function contracts #5968

Add support for nested quantifiers in function contracts
33b412b
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs