v2.0 - COOL with Aconjunctive Fixpoints · Milestones · Software / COOL · GitLab

Skip to content

GitLab

Explore

Sign in

Closed

Milestone

v2.0 - COOL with Aconjunctive Fixpoints

Issues 3
Merge requests 0
Participants 0
Labels 2

Loading

Loading

Loading

Loading

100% complete

100%

Start date

No start date

None

Due date

No due date

3

Issues 3 New issue

Open: 0 Closed: 3

0

Merge requests 0

Open: 0 Closed: 0 Merged: 0

1

Release

Aconjunctive COOL

Reference: software/cool%"v2.0 - COOL with Aconjunctive Fixpoints"