FORMAL LOGIC · STEM
ProofGym
A browser-based environment for constructing Fitch-style formal proofs and practicing quantitative STEM problems.
THE PROBLEM
A proof trainer has to evaluate the reasoning process, not only compare a final answer with a stored solution. Steps depend on earlier lines, inference rules and proof scope.
WHAT I BUILT
Step-by-step proof construction and validation, progressive exercises, custom practice, completion tracking, achievements and a broader STEM problem-solving arena.
WHY IT MATTERS
It shows the kind of greenfield software I enjoy: an interface sitting on top of rules, state and a problem that cannot be reduced to a static form.
