Milestone 1.0

No date set

23%

Closed tickets:
31
Active tickets:
102
/ Total tickets:
133
basic-library

0 / 1
casl-ext

0 / 13
comorphisms

0 / 5
development-graph

3 / 19
hets

6 / 16
interfaces

8 / 29
logic

0 / 8
logic-casl

3 / 8
logic-hascasl

4 / 6
provers

4 / 24
third-party

2 / 3

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

Note: See TracRoadmap for help on using the roadmap.