Ticket #7 (new defect)
Opened 5 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.
