Roadmap

• Milestone: 0.95

  No date set

  25%

  Closed tickets:

  70

  Active tickets:

  206

  / Total tickets:

  276

  • comorphisms among DL, CASL_DL, OWL 1.1 logic
    • Heterogeneous Biblio Example

  • Coalgebraic Modal Logic

• Milestone: 1.0

  No date set

  23%

  Closed tickets:

  31

  Active tickets:

  102

  / Total tickets:

  133

  the whole of CASL is fully supported, all features are demonstrated with example proofs, and some heterogeneous case studies with proof scripts have been completed

• Milestone: 2.0

  No date set

  25%

  Closed tickets:

  3

  Active tickets:

  9

  / Total tickets:

  12