# | Summary▾ |
Milestone▾
|
Status▾
|
Owner▾
|
Creator▾
|
Created▾ | Updated▾ | Labels▾ | |
---|---|---|---|---|---|---|---|---|---|
4 | Theory Library v1 | Rodin_2.1 | open | Issam | 2011-08-06 | 2012-12-08 | Theory Library | ||
3 | Binary Trees (inductive and polymorphic) | Rodin_2.0 | open | Nicolas Beauger | 2010-11-17 | 2012-12-08 | Collections | ||
2 | Lists (inductive and polymorphic) | Rodin_2.0 | open | Nicolas Beauger | 2010-11-17 | 2010-11-17 | Collections | ||
1 | Boolean Operators AND, OR, NOT | Rodin_2.0 | open | Nicolas Beauger | 2010-11-16 | 2012-12-08 | Bool |