Skip to content
GitLab
Projects
Groups
Snippets
/
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in / Register
Toggle navigation
Menu
Open sidebar
Simon Friis Vindum
Iris
Pipelines
#48634
Change formatting
2 jobs for
!697
with
big-op-impl
in 7 minutes and 49 seconds (queued for 3 seconds)
merge request
ea15c157
1 related merge request:
!697 Add generalized implication lemma for big_sepM