tasks blog github

Task · lean-validity

Lean proof validity

Predict Lean 4 proof validity without running Lean

Math & GamesInspired by

Overview Contract Data Verifier

Loading the dataset browser…

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