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

This job succeeded