PR #535 Sync Math-verify

Sync Math-verify #535

hynky1999 merged 6 commits into main from sync_math_verify

update extraction match to reflect newest math-verify

c2cb4889

revert symbols, improve sets handling

c536de04

rm todo

a75113da

fmt + remove empty excepts + bump l2s

308ecb9c

fmt

8b7711f0

docstring

86f49788

hynky1999 requested a review from

clefourrier 314 days ago

NathanHB approved these changes on 2025-02-05

hynky1999 merged cb35beae into main 314 days ago

Reviewers

NathanHB

clefourrier

Assignees

No one assigned

Labels

None yet

Milestone

No milestone