tasks blog github

Task · lean-simplification

Math proof simplification

Simplify Lean 4 proofs

Math & GamesInspired by

Overview Contract Data Verifier

Loading the dataset browser…

© 2026Induction Labs·San FranciscoGitHub inductionlabs.com team@inductionlabs.com