Automatic math proofer

• line is defined by 2 or more points
• plygon is defined by 3 or more points

• Lines
• Angles

1. Exists - user input.
2. Lemma - known knowlage which was never proofed.
3. Proof - something that was found by a mixture of previews information.

1. Define lines and angles.
2. Solve lines and angles.
3. Dump rules and read from DB.
4. Draw lines.?
5. Define shapes.
6. Solve shapes.
7. Trigonametry?
8. Parse given image as user input?
9. Parse a question as user input?

a ∦ b b ∥ c ⦟abc = ⦟d ⦟abc = 80° ? ∝ ? ? ≡ ? |ab+ ⌒ab+ △abc ▭abcd ▱abcd ○O_1 ◊abcd