Skip to content
Snippets Groups Projects
Commit 2b69455d authored by François Bobot's avatar François Bobot
Browse files

[Union] Is_singleton proved with colibri2

parent f02f4a91
No related branches found
No related tags found
1 merge request!19Start proving union interval with Colibri2
Pipeline #38406 failed
Stage: test