Reference: Manually Generated Proof

An example - Pythagoras' Theorem

Manually Generated Proofs (Generate the proofs manually)

JGEX Help