Adds titles for most of the prop.gh theorems. Adds summaries to a few. Deletes commented out duplicate theorems.
Redefined ordered pairs so that there is a one-to-one correspondence between a pair of numbers and a single number. This was implemented using triangular numbers. This allows us to prove opexpand which simplifies a lot of things. This also meant reorganizing peano_thms.gh so that min, mod, and div come before recursion which uses ordered pairs.
Adds theorems computing some of the fibonacci and triangular numbers. Adds to the wiki surrounding these topics and adds more explanation to peano_thms.gh.
Add titles and summaries to the axioms now that they can be displayed. Add links to the axioms in the wikis. Derive basic properties of even and odd numbers. Replace the old definition of exponents with the new simpler version.
Complete rewrite of the rationals file. All the most essential properties of rational addition and multiplication are not in place. Prove theorem related to congruence modulo.
Remove TODO comment.
Add rational inequalities. Adds wikis related to the integers and the rationals.
Creates a new version of the peano directory that tries to organize the chaos. peano_thms is split into seperate files for predicate calculus, predicate calculus with equality, natural number arithmetic, and set theory. Added interfaces that are first proved from the Peano axioms, then in the construction of the integers, and then in the construction of the rationals. A few of the files do not verify because of a problem with the kindbind.
Add theorems for single and multiple digit inequalities. Add theorems supporting negative number calculations. Add theorems related to functions.
Filename fixes for unix/windows portability.

That is, use slashes not backslashes and don't assume case-insensitivity.
Reorganizes theorems for naturals, integers, rationals, and complex numbers into separate directories. Adds complex numbers.
Add recursion, mod, and div theorems to the naturals. Adds a way to import theorems specific to naturals into other contexts. Adds theorems related to the supremum and square root and the quadratic equation. Replaces some strange characters with dashes to get the general directory to verify on Windows machines.
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.