taskPoussin proof assistant - Tasks: Browse Items

 
 
(+)Display Criteria

5 matching items

Digest 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

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.14-ee00.
Corresponding source code