Skip to content
Kind2 CI

Disallow quantification over variables with types containing abstract types #1516

Sign in to view logs

Disallow quantification over variables with types containing abstract types

Disallow quantification over variables with types containing abstract types #1516

Annotations

1 warning

This job succeeded