Spaces:

Ray5th
/

Lean4-helper

Running

App Files Files Community

Lean4-helper / tests /test_manual_bug_fixes.py

Commit History

Repo cleanup: dead code out, test isolation fix, real README

16fb4fc

p4r5kpftnp-cmd commited on 27 days ago

Add CI/CD: GitHub Actions workflow + ruff config

6cf7e7c

p4r5kpftnp-cmd commited on May 21

Fix 4 bugs found in manual code review

1808386

p4r5kpftnp-cmd Claude Sonnet 4.6 commited on May 19