Metamath vs Proof Fidget

This app allows you to view the Metamath theorems and their proofs. It has no ads or in-app purchases. Metamath is a system for formalizing and verifying math proofs. For information about Metamath, see the web site us.metamath.org or one of its mirror sites. For a demo of this app, see the youtube video at the url https://www.youtube.com/watch?v=qTOUBEACTz4&list=PLoh8e3Knr9WIEK55cIKwQe5e8CBpA3_ks

ProofFidget is a puzzle-driven way to learn the feel of doing math: not by memorizing procedures, but by making correct moves, one step at a time, until a proof truly holds together. Each puzzle gives you a clear goal and a partially-complete derivation. You spin the wheel to choose your next move, then commit to a step and watch the proof line up. If you’re right, you progress; if you’re wrong, you learn quickly why it didn’t fit. The result is a tight feedback loop that makes abstract ideas concrete and surprisingly fun. You’ll work across a growing set of subjects, including: Logic and proof techniques: build confidence with implication, contradiction, and structured reasoning. Algebra: make valid transformations while keeping equations balanced, supported by visual “balance scale” diagrams. Number theory: practice modular arithmetic, divisibility, and gcd-style reasoning with intuitive visuals. Geometry and beyond: use diagrams to ground symbolic steps in something you can see. ProofFidget is designed for short, satisfying sessions, but it also rewards deeper play: you start noticing patterns, choosing steps for the right reasons, and developing proof instincts that transfer to real coursework and problem-solving. If you’ve ever thought “I understand the formula, but I don’t understand why,” ProofFidget is built for that moment.