Merge branch 'Add-la_mult-rules' of https://gitlab.uliege.be/verit/alethe into Add-la_mult-rules
1 related merge request: !6 Add la_mult_pos and la_mult_neg rules
1 job
2 minutes 56 seconds, queued for 1 seconds