Lean4-helper / tests /test_problems_parse.py

Commit History

Add CI/CD: GitHub Actions workflow + ruff config
6cf7e7c

p4r5kpftnp-cmd commited on

Add parse tests for every problems/*.lean file
39e777a

p4r5kpftnp-cmd Claude Opus 4.7 commited on