Thanks to visit codestin.com
Credit goes to github.com

Expand MMU test coverage and add MMB verification #2

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Open

zariuq wants to merge 1 commit into codex/develop-python-verifier-for-mm0 from codex/enhance-tests-for-python-metamath-zero-verifier

Owner

zariuq commented Sep 12, 2025

Summary

run Python and mm0-hs verifiers on the large peano.mmu
add test harness for .mmb proofs using mm0-c, including an invalid file check

Testing

pytest

https://chatgpt.com/codex/tasks/task_e_68c45357db408328abecf726e5fa2827


          test: exercise mmb verifier

9c39a33

zariuq added the codex label

— with

ChatGPT Codex Connector

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels