Skip to content
Snippets Groups Projects

Remove `left associativity` of `scalar_mult` to be compatible with math-comp.

Merged Robbert Krebbers requested to merge robbert/scalar_mult_assoc into master
Status
Pipeline
Created by
Stages
Actions
Failed

00:04:15

avatar

No artifacts found

Loading