Proves that Math is much more than numbers. Are you sometimes looking for how certain positions work again? Now simply search for your position and see what it depends on.
Math is everywhere and we use it for everything. In many cases you have to deal with propositions. Someone claims something, and later that proposition is proven, or there is evidence to the contrary. What evidence is there? For this Yocto Euclides, a system where you can easily find a position. Each statement explains how it has been proven. This can sometimes be done in several ways, so there will be two proofs. It is also stated on which other statements this proof depends. Yocto Euclides is named after the man who used to look for geometric proofs and put them together: Euclid of Alexandria.