Skip to content

GitLab

Now reverting hypotheses if substituted variables occur in it.

3 jobs for master in 8 minutes and 51 seconds (queued for 5 seconds)
8de9ff72
No related merge requests found.