strengthened solve_decision ltac
Passed
Abhishek Anand
created pipeline for commit
f8adf66f
, finished
Related merge request !295 to merge aa755-master-patch-77362
9 minutes 39 seconds, queued for 9 seconds