Adds a context tag which is can be added for groups of theorems as a
helpful guide. Migrate the min, mod, and div theorems over to the new
peano directory. Solve two linear equations with two variable. Update
quadratic equation theorem.
Add context tags to .gh files explaining what each file is about.
Update the wiki to use LaTex typeset equations. Add new wiki pages for
recent changes. Adds proofs complex arithmetic. Adds a proof that there are
arbitrarily long sequences of composite numbers.
Update the tutorial with new math typesetting.
Adds justification tags to the GHI files in peano. These provide links to
a proof of the theorem. When there is only one link the website can redirect
to the theorem. When there are multiple options they are listed in the
proof summary.
Fix up the consecutiveComposites proof.
Switch relative paths to absolute paths in add_multiply.gh. Add some
basic decimal calculations like 1/2 = 0.5.
Change relative to absolute paths on all gh files, so that the .gh
files are visible. Not sure why they go missing with relative paths.
Minor edit to the tutorial overview.
Link to wiki for Fibonacci, triangle, even and odd numbers.