Frame break for long proofs and theorems
39666
Allow theorem split in many frames in beamer
83778
An incorrect proof by exhaustion
157401
Frame break in LyX
35115
Questions on how to prove that a set of connectives is NOT functionally complete
13136
Element chasing proof that $(A\setminus C)\setminus(B\setminus C) = (A\setminus B)\setminus C$
107772
Separability of functions with compact support
112491
Finding counterexamples for infinite series.
31340
Concurrent lines proof for a regular 18-gon
5448
Finding the closure of some subsets of the ordered square
14849
Decidability of a predicate.
126114
Adding line by line comments to math proofs
112519
Line break in a modified proof environment (with show/hide feature)
154406
Real analysis - proof approach help
67556
Verbatim environment that can break long lines?
72185
The negation of a limit condition, Spivak style.
66366
How to change the word "Proof" in the proof environment?
96748
Formal deductions on Hilbert system