Theorem style and Design
7119
box around theorem statement
96748
Formal deductions on Hilbert system
56440
Cartesian products and families
50178
\qed for theorems without proofs
44688
Numeration of theorems considering the depth (section, subsection ...)
23293
wrapfigure in theorem-like environment
81122
interaction between mathematical structures
143193
tcolorbox use for theorems correction
103463
Mantel's Theorem proof verification
40331
Optimizing a CTE hierarchy
3663
Finding counterexamples in elementary set theory.
28281
Different standards for writing down logical quantifiers in a formal way
36615
Rule-based creation of sub-lists
33164
Formal basis for variable substitution in limits
49703
Analogue of closed graph theorem
14404
Functions vs. patterns
150451
Logic soundness and completeness