Skip to content
Kind2 CI

Disallow quantification over variables with types containing abstract types #1521

Sign in to view logs

Disallow quantification over variables with types containing abstract types

Disallow quantification over variables with types containing abstract types #1521

Annotations

1 warning

This job succeeded