Generalized Proofmode Merger · Milestones · Iris / Iris · GitLab

Skip to content

GitLab

Explore

Sign in

Closed

Milestone

Generalized Proofmode Merger

Things to handle before we merge generalized proofmode to master

Work items 11
Merge requests 10
Participants 3
Labels 1

Loading

Loading

Loading

Loading

100% complete

100%

Start date

No start date

None

Due date

No due date

11

Work items 11 New issue

Open: 0 Closed: 11

10

Merge requests 10

Open: 0 Closed: 1 Merged: 9

0

Releases

None

Reference: iris/iris%"Generalized Proofmode Merger"