1.2.2 Style
The Clowder Project makes several unusual stylistic choices, aligned with its goals.
1.2.2.1 Presentation of Topics
The presentation of topics is encyclopedic, non-linear, and sometimes idiosyncratic.
In particular, there’s some amount of repetition throughout the project. This is a result of simultaneously wanting to cover as much material as possible while still allowing Clowder to be used as an online reference work/wiki.
1.2.2.2 Provable Items Come With Proofs
Every proposition, theorem, lemma, etc. needs to come with a proof. In case a proof has not been written yet, it shall read as “Omitted”. This is to ensure results without proof are clearly labelled as such.
1.2.2.3 Proper Justification of Proofs
Every proof must read either “Omitted” or be properly justified, no matter how trivial the details are.
Expressions like “it is clear that”, “it is straightforward to show that”, “it is obvious”, etc. inside proofs should not be used.
