TWiki> Sandbox Web>HintsForReviewers (2011-11-01, AndrzejTrybulec)EditAttach
This page is supposed to be a list of hints for reviewers of Mizar articles contributed to MML.

  1. Check if a redefinition could be a registration.

  2. Check if a theorem could be a registration.

  3. Check if result types of functors do not contain adjectives, which are unnecessary to prove correctness conditions.

-- ArturKornilowicz - 2011-11-01

Edit | Attach | Print version | History: r2 < r1 | Backlinks | Raw View | Raw edit | More topic actions
Topic revision: r2 - 2011-11-01 - 21:19:34 - AndrzejTrybulec

tip TWiki Tip of the Day
The Go Box as a browser
The go box (also called jump box) is not only a tool to allow you to jump from page to page, you can ... Read on Read more

 
Mizar TWiki
This site is powered by the TWiki collaboration platformCopyright © by the contributing authors. All material on this collaboration platform is the property of the contributing authors.
Ideas, requests, problems regarding TWiki? Send feedback