Skip to content
GitLab
Explore
Sign in
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