Search results

Create the page "L comment" on this wiki! See also the search results found.

• Rodin Proving Perspective
  ...descendant of the node of the previous line. Each node is labelled with a comment which indicates which rule has been applied, or which prover discharged the * (optionally) some other description of a characteristic, e.g. left (L), right (R).
  27 KB (4,348 words) - 08:56, 26 September 2011
• The Proving Perspective (Rodin User Manual)
  ...descendant of the node of the previous line. Each node is labelled with a comment which indicates which rule has been applied, or which prover discharged the * (optionally) some other description of a characteristic, e.g. left (L), right (R).
  27 KB (4,348 words) - 18:45, 28 September 2011