taskPoussin proof assistant - Tasks: task #7711, hierarchical type

 
 

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

task #7711: hierarchical type

Submitter:  nicolas marti <alalme>
Submitted:  Sun 27 Jan 2008 02:54:39 PM UTC
   
 
Should Start On:  Sat 26 Jan 2008 03:00:00 PM UTC Should be Finished on:  Sat 26 Jan 2008 03:00:00 PM UTC
Category:  None Priority:  5 - Normal
Status:  Postponed Privacy:  Public
Assigned to:  alalme Percent Complete:  0%
Open/Closed:  Open Effort:  0.00

Sun 27 Jan 2008 02:54:39 PM UTC, original submission:  

Add a solver and a verifier for the hierarchy of Type (right now poussin is incoherent with the type rule 0 |- type:type )

nicolas marti <alalme>
Group administrator

 

(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.

     

    Follow 3 latest changes.

    Date Changed by Updated Field Previous Value => Replaced by
    2008-03-13 alalme StatusCancelled Postponed
    2008-02-20 alalme StatusNone Cancelled
    2008-01-27 alalme Assigned toNone alalme

    Back to the top

    Powered by Savane 3.13-02a9.
    Corresponding source code