Milestone 0.95

No date set

27%

Closed tickets:
75
Active tickets:
201
/ Total tickets:
276
ColoSS

0 / 4
basic-library

1 / 6
casl-ext

2 / 19
change-management

1 / 5
comorphisms

1 / 23
development-graph

9 / 39
hets

19 / 47
interfaces

27 / 47
logic

1 / 10
logic-casl

2 / 5
logic-hascasl

5 / 21
provers

6 / 48
third-party

1 / 2
  • comorphisms among DL, CASL_DL, OWL 1.1 logic
    • Heterogeneous Biblio Example
  • Coalgebraic Modal Logic
Note: See TracRoadmap for help on using the roadmap.