Natural number game

If h is a proof of X = Y, then rw h, will change all Xs in the goal to Ys. Variants: rw ← h (changes Y to X) and rw h at h2 (changes X to Y in hypothesis h2 instead of the goal).

You are are being redirected...

related reading

• Lean Game Serveradam.math.hhu.de
• canon00-goedel.pdfhirzels.com
• 3. Logic - Mathematics in Lean v4.19.0 documentationleanprover-community.github.io
• RSI Simulator | Paradigmparadigm.xyz
• Mathematics for Computer Sciencepeople.csail.mit.edu
• RSI Simulator | Paradigmparadigm.xyz
• RSI Simulator | Paradigmparadigm.xyz
• Arithmetic Game – Online Speed Drillarithmetic.zetamac.com
• HYPERGAMEsubstack.com
• Collaborative documents, with powerful AI editing tools | Lexlex.page
• The Incredible Proof Machineincredible.pm
• Keep Claude working toward a goal - Claude Code Docscode.claude.com