Poussin proof assistant - Tasks: Browse Items
Display Criteria
5 matching items
| Item ID |
Summary | Status | Assigned to | Should be Finished on |
|---|---|---|---|---|
| #7938 | factoriser le code de destruction d'inductive | alalme | 2008-04-11 | |
| #7937 | unification algorithm | alalme | 2008-04-11 | |
| #7848 | add the test for well-formness of inductive type in proof assistant interface | Need Info | alalme | 2008-03-12 |
| #7711 | hierarchical type | Postponed | alalme | 2008-01-26 |
| #7703 | modif | Done | alalme | 2008-01-23 |
5 matching items
Open Items Priority Colors:
1
2
3
4
5
6
7
8
9
Closed Items Priority Colors:
1
2
3
4
5
6
7
8
9
Powered by Savane 3.16-1e6f.
Corresponding source code
