Skip to content
GitLab
Explore
Sign in
Open
1
Closed
5
All
6
Due later
Iris 3.4
Open
Iris / Iris
0 Issues
·
7 Merge requests
0% complete
Iris 3.3
Closed
Iris / Iris
5 Issues
·
16 Merge requests
100% complete
Iris 3.2
Closed
Iris / Iris
4 Issues
·
14 Merge requests
100% complete
Generalized Proofmode Merger
Closed
Iris / Iris
11 Issues
·
10 Merge requests
100% complete
Iris 3.1
Closed
Iris / Iris
7 Issues
·
18 Merge requests
100% complete
Iris 3.0
Closed
Iris / Iris
8 Issues
·
3 Merge requests
100% complete