Modify

Opened 3 years ago

#15 new enhancement

Analogies in proofs

Reported by: tilk Owned by:
Priority: major Component: Proof Engine
Version: Keywords:
Cc:

Description

Users should not be required to repeat some line of reasoning twice. Right,
one can use a lemma for that, but for simple cases in natural-language
proofs one usually write something like "the second case is analogous".

Attachments (0)

Change History (0)

Add Comment

Modify Ticket

Action
as new The ticket will remain with no owner.
Author


E-mail address and user name can be saved in the Preferences.

 
Note: See TracTickets for help on using tickets.