Poussin 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 |
No files currently attached
Depends on the following items: None found
Items that depend on this one: None found
Carbon-Copy List
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
Powered by Savane 3.13-02a9.
Corresponding source code