List view

• Documentation

  Provide several layers of good documentation

  Overdue by 10 year(s)

  •

  Due by June 29, 2015

  •2/3 issues closed
  66% complete1 open2 closed

• Mathematical Theorems

  Write down all mathematical theorems concerning category theory which are not implemented yet.

  Due by April 2, 2042

  •1/1 issues closed
  100% complete0 open1 closed

• Galway

  Stuff to be implemented for Galway.

  Overdue by 11 year(s)

  •

  Due by November 27, 2014

  •6/6 issues closed
  100% complete0 open6 closed