Ticket #7 (new defect)

Opened 6 years ago

finish the proofs

Reported by: igloo Owned by:
Priority: blocker Milestone: 0.1
Component: theory Version: 0.1
Keywords: Cc:

Description

Finish the proofs.

Note: See TracTickets for help on using tickets.