taskPoussin proof assistant - Tasks: task #7848, add the test for well-formness of...

 
 

You are not allowed to post comments on this tracker with your current authentication level.

task #7848: add the test for well-formness of inductive type in proof assistant interface

Submitter:  nicolas marti <alalme>
Submitted:  Thu 13 Mar 2008 05:44:31 AM UTC
   
 
Should Start On:  Wed 12 Mar 2008 03:00:00 PM UTC Should be Finished on:  Wed 12 Mar 2008 03:00:00 PM UTC
Category:  None Priority:  5 - Normal
Status:  Need Info Privacy:  Public
Assigned to:  alalme Percent Complete:  0%
Open/Closed:  Open Effort:  0.00

(Note: upload size limit is set to 16384 kB, after insertion of the required escape characters.)

No files currently attached

 

Depends on the following items: None found

Items that depend on this one: None found

 

Carbon-Copy List
  • -email is unavailable- added by alalme (Submitted the item)
  •  

    There are 0 votes so far. Votes easily highlight which items people would like to see resolved in priority, independently of the priority of the item set by tracker managers.

     

    No changes have been made to this item

    Back to the top

    Powered by Savane 3.13-02a9.
    Corresponding source code