Skip to content
Snippets Groups Projects

Avoid use of `solve_proper`.

Passed
Robbert Krebbers created pipeline for commit c579b46c
, finished
For master
8 jobs 9 minutes 56 seconds, queued for 2 seconds