Formal and preformal proofs

• formal proofs: line by line

• geometry as science – learning geometry

• preformal proofs: action-orientated, graphic, holistic

• visual-dynamic proofs: preformal proofs using DGS