Math logic/reasoning self-education with embedded deductive tool

Show HN: Math logic/reasoning self-education with embedded deductive tool

Math logic/reasoning self-education with embedded deductive tool is active in the show hn launch space.

Profile

The https://prooftoys.org/ website presents logic and basic mathematics of the real numbers. It includes a practical embedded deductive system for learners whose background may be just ordinary high school mathematics. The site includes:1. An introduction to logic through pictures, basically interactive Venn diagrams with explanation. This is a point of view on propositional calculus.2. A brief presentation of the rules of the logic of "simple type theory" at a raw beginner's level.3. A number of completely rigorous simple proofs, some in pure logic, and some about real numbers, starting from the classic "complete ordered field" axioms that define the behavior of real numbers. The proofs are

As a business in show hn launch, Math logic/reasoning self-education with embedded deductive tool is listed here with the public details available about it.

It is recorded at the Show HN launch stage.

Website: prooftoys.org