Skip to content
GitLab
Projects
Groups
Topics
Snippets
/
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in
Toggle navigation
Menu
Iris
Iris
Milestones
Generalized Proofmode Merger
Closed
Milestone
Generalized Proofmode Merger
Milestone ID: 13
Things to handle before we merge generalized proofmode to master
Issues
11
Merge requests
10
Participants
3
Labels
1