https://github.com/affeldt-aist/monae/blob/d471141db367cb98c5f20d4360b13418ea9a5e73/theories/applications/example_nqueens.v#L495 that could be a matter to add a few Hints
monae/theories/applications/example_nqueens.v
Line 495 in d471141
that could be a matter to add a few Hints