Skip to content

Add type parameter to 'Property' and 'Group'

6646462
Select commit
Loading
Failed to load commit list.
Open

WIP: Allow for returning counterexamples #219

Add type parameter to 'Property' and 'Group'
6646462
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs