Roadmap

• Milestone: ATS

  9 months late (08/31/11)

  0%

  Number of tickets:

  closed:

  0

  active:

  3

  Total:

  3

  We want to build an index with the statements from the Mizar library, and do appliccable theorem search (ATS) on that.

• Milestone: MWS 0.6

  8 months late (09/15/11)

  20%

  Number of tickets:

  closed:

  4

  active:

  16

  Total:

  20

• Milestone: ProdesThesis

  Due in 2 days (05/20/12)

  0%

  Number of tickets:

  closed:

  0

  active:

  1

  Total:

  1

• Milestone: Future

  Due in 3 years (01/01/15)

  45%

  Number of tickets:

  closed:

  5

  active:

  6

  Total:

  11

  This milestone is for all the bugs we can not make up our mind about how to schedule them. The date is bogus of course.