Milestone 0.95

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.