commit 018493221453bbf50eae8d21d34f1bd50f81e941
Author: Ivan S. Titov <iohann.s.titov@gmail.com>
Date: Mon May 11 01:07:24 2026 +0200

dev-python/math-verify: new package, version 0.9.0

HuggingFace's math-answer verification helper. Used by lighteval and
intended as the math-grading backend in lm-evaluation-harness. Single
core dep (latex2sympy2_extended, also new in this overlay), pinned
==1.11.0 upstream and reflected here as ~dev-python/latex2sympy2-extended-1.11.0
to preserve upstream's exact-version contract; future bumps will track
that pin in lockstep. Tests not wired — one parametrized case in
test_latex_notation_math fails on a malformed fixture.