taskPoussin proof assistant - Tasks: Browse Items

 
 
Browse with the query form and selection.
Open/Closed:  Status:  Assigned to:  Category: 

Additional constraint :
    since

 

Column heading links sort results (up or down), you can also sort by priority or reset sort. You can also activate multicolumn sort. Currently, results are sorted by Item IDup.

        5 matching items - Items 1 to 5        

Item ID up 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 - Items 1 to 5        


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 

Back to the top

Powered by Savane 3.13-f8d8.
Corresponding source code