Skip to topic | Skip to bottom
Home
Mizar

edit

Mizar.StructuredPitfallsr1.2 - 07 Jul 2002 - 15:38 - WikiRoottopic end
Start of topic | Skip to actions
Most common errors during Mizaring

This should become a structured version of MizarPitfalls.

(add your negative experience at MizarPitfalls, create new topics; check the ErrorMessages, FeatureBrainstorming and MizarQuestions topics)

Setting the Environment

  • ConstructorsDirective?
  • NotationDirective?
  • ClustersDirective?
  • VocabularyDirective?

Type system

  • RedefinitionChasing?
  • ClusterChasing?

Checker

  • Trivialities not obvious to the checker

Others

  • Mischievous Definitional Expansions
  • Unfriendly Schemes and Fraenkel Terms

-- WikiRoot - 05 Jul 2002
to top

End of topic
Skip to action links | Back to top

Edit | Attach image or document | Printable version | Raw text | More topic actions
Revisions: | r1.2 | > | r1.1 | Total page history | Backlinks
Mizar.StructuredPitfalls moved from Mizar.MizarPitfalls on 07 Jul 2002 - 15:36 by WikiRoot - put it back
You are here: Mizar > StructuredPitfalls

to top

Copyright © 1999-2008 by the contributing authors. All material on this collaboration platform is the property of the contributing authors.
Ideas, requests, problems regarding Mizar TWiki? Send feedback