Index of /research/papers/programs/proofs

• Parent Directory
• 10.12.prf
• 21helper.prf
• 26helper.prf
• 3.5b.prf
• 3.6a.prf
• 3.6b.prf
• 3.7a.prf
• 3.7b.prf
• 30helper.prf
• 35helper.prf
• 4.19.prf
• 5-line.prf
• 8.2.prf
• 8.3.prf
• 8.7.prf
• 9.5.prf
• 9.5a.prf
• 9.5b.prf
• ABCequalsCBA.prf
• Analyze.php
• Axioms.php
• CheckProofs.php
• Definitions.txt
• EFreflexive.prf
• ETandEF.txt
• ETreflexive.prf
• Euclid.php
• Euclid4.prf
• Formalize.php
• FreekFiles.php
• MakeAppendix (Michael Beeson's conflicted copy 2017-07-31).php
• MakeAppendix.php
• NCdistinct.prf
• NChelper.prf
• NCorder.prf
• OriginalCheckProofs.php
• PGflip.prf
• PGrectangle.prf
• PGrotate.prf
• PGsymmetric.prf
• Playfair.prf
• Playfairhelper.prf
• Playfairhelper2.prf
• Prop01.prf
• Prop02.prf
• Prop03.prf
• Prop04.prf
• Prop05.prf
• Prop05b.prf
• Prop06.prf
• Prop06a.prf
• Prop07.prf
• Prop08.prf
• Prop09.prf
• Prop10.prf
• Prop11.prf
• Prop11B.prf
• Prop12.prf
• Prop13.prf
• Prop14.prf
• Prop15.prf
• Prop16.prf
• Prop17.prf
• Prop18.prf
• Prop19.prf
• Prop20.prf
• Prop21.prf
• Prop22.prf
• Prop23.prf
• Prop23B.prf
• Prop23C.prf
• Prop24.prf
• Prop25.prf
• Prop26A.prf
• Prop26B.prf
• Prop27.prf
• Prop27B.prf
• Prop28A.prf
• Prop28B.prf
• Prop28C.prf
• Prop28D.prf
• Prop29.prf
• Prop29B.prf
• Prop29C.prf
• Prop30.prf
• Prop30A.prf
• Prop30B.prf
• Prop30C.prf
• Prop31.prf
• Prop31short.prf
• Prop32.prf
• Prop33.prf
• Prop33B.prf
• Prop34.prf
• Prop35.prf
• Prop35A.prf
• Prop36.prf
• Prop36A.prf
• Prop37.prf
• Prop38.prf
• Prop39.prf
• Prop39A.prf
• Prop40.prf
• Prop41.prf
• Prop42.prf
• Prop42B.prf
• Prop43.prf
• Prop43B.prf
• Prop44.prf
• Prop44A.prf
• Prop45.prf
• Prop46.prf
• Prop47.prf
• Prop47A.prf
• Prop47B.prf
• Prop48.prf
• Prop48A.prf
• PropIII.01.prf
• PropIII.02.prf
• PropIII.03A.prf
• PropIII.03B.prf
• RTcongruence.prf
• RTsymmetric.prf
• TCreflexive.prf
• TGflip.prf
• TGsymmetric.prf
• TTflip.prf
• TTflip2.prf
• TTorder.prf
• TTtransitive.prf
• Theorems.txt
• altitudebisectsbase.prf
• altitudeofrighttriangle.prf
• angleaddition.prf
• angledistinct.prf
• angleorderrespectscongruence.prf
• angleorderrespectscongruence2.prf
• angleordertransitive.prf
• angletrichotomy.prf
• angletrichotomy2.prf
• array_to_file.php
• betweennesspreserved.prf
• betweennotequal.prf
• centerunique.prf
• circle-radius.prf
• collinear1.prf
• collinear2.prf
• collinear4.prf
• collinear5.prf
• collinearbetween.prf
• collinearitypreserved.prf
• collinearmidpoint.prf
• collinearorder.prf
• collinearparallel.prf
• collinearparallel2.prf
• collinearright.prf
• congruenceflip.prf
• congruencesymmetric.prf
• congruencetransitive.prf
• crisscross.prf
• crossbar.prf
• crossbar2.prf
• crossimpliesopposite.prf
• dependencies/
• diagonalsbisect.prf
• diagonalsmeet.prf
• differenceofparts.prf
• differentpoint.prf
• differentpoints.prf
• doublereverse.prf
• droppedperpendicularunique.prf
• equalanglesNC.prf
• equalanglesflip.prf
• equalangleshelper.prf
• equalanglesreflexive.prf
• equalanglessymmetric.prf
• equalanglestransitive.prf
• equalitysymmetric.prf
• equaltorightisright.prf
• erectedperpendicularunique.prf
• erectedperpendicularunique2.prf
• extension.prf
• extensionunique.prf
• fiveline.prf
• inequalitysymmetric.prf
• insideor.prf
• interior5.prf
• layoff.prf
• layoffunique.prf
• legsmallerhypotenuse.prf
• lessthanadditive.prf
• lessthanbetween.prf
• lessthancongruence.prf
• lessthancongruence2.prf
• lessthannotequal.prf
• lessthantransitive.prf
• linereflectionisometry.prf
• localextension.prf
• midpointunique.prf
• notperp.prf
• nullsegment3.prf
• ondiameter.prf
• oppositesideflip.prf
• oppositesidesymmetric.prf
• outerconnectivity.prf
• parallelNC.prf
• parallelPasch.prf
• parallelbetween.prf
• parallelcollinear.prf
• parallelcollinear1.prf
• parallelcollinear2.prf
• paralleldef2A.prf
• paralleldef2B.prf
• parallelflip.prf
• parallelsymmetric.prf
• partnotequalwhole.prf
• paste5.prf
• planeseparation.prf
• pointreflectionisometry.prf
• radiiequal.prf
• radiusdetermined.prf
• ray.prf
• ray1.prf
• ray2.prf
• ray3.prf
• ray4.prf
• ray5.prf
• rayimpliescollinear.prf
• raystrict.prf
• rectangleparallelogram.prf
• rectanglereverse.prf
• rectanglerotate.prf
• rightangleNC.prf
• rightreflection.prf
• rightreverse.prf
• righttogether.prf
• samenotopposite.prf
• sameside2.prf
• samesidecollinear.prf
• samesideflip.prf
• samesidereflexive.prf
• samesidesymmetric.prf
• samesidetransitive.prf
• squareflip.prf
• squareparallelogram.prf
• squarerectangle.prf
• squaresequal.prf
• squareunique.prf
• subtractequals.prf
• sumofparts.prf
• supplementinequality.prf
• supplementofright.prf
• supplements.prf
• supplements2.prf
• supplementsymmetric.prf
• tarskiparallelflip.prf
• test.php
• together.prf
• together2.prf
• trapezoiddiagonals.prf
• triangletoparallelogram.prf
• trichotomy1.prf
• trichotomy2.prf
• twolines.prf
• twolines2.prf
• twoperpsparallel.prf
• tworays.prf