Skip to content

GitLab

Remove rules subsumed by the [loc_eq] infrastructure.

2 jobs for ci/loc_ring in 15 minutes and 3 seconds (queued for 1 second)
1a753530
1 related merge request: !46 Tactic based on lia and autorewrite to solve location equality