Reference: Manually Generated Proof
An example -
Pythagoras' Theorem
Manually Generated Proofs
(Generate the proofs manually)
Introduction
How to input?
Text
Keywords
Assertion
Objects
Draw
Equation
Rules
An example:
Pythagoras' Theorem
JGEX Help