Spaces:

Ray5th
/

Lean4-helper

Running

App Files Files Community

Lean4-helper / tests

76.5 kB

Ctrl+K

Ctrl+K

4 contributors

History: 20 commits

p4r5kpftnp-cmd

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

16fb4fc 17 days ago

test_app_fuzz.py

15.4 kB
Add CI/CD: GitHub Actions workflow + ruff config about 1 month ago
test_benchmark_helpers.py

8.07 kB
Swap MiniLM retriever for LeanDojo's ByT5 premise encoder 25 days ago
test_concurrent_solve.py

11.1 kB
Speed up proof generation: cache components, smaller max_tokens, two-stage retry about 1 month ago
test_lean_verifier.py

2.28 kB
Add CI/CD: GitHub Actions workflow + ruff config about 1 month ago
test_manual_bug_fixes.py

5.73 kB
Repo cleanup: dead code out, test isolation fix, real README 17 days ago
test_problems_parse.py

4.99 kB
Add CI/CD: GitHub Actions workflow + ruff config about 1 month ago
test_retriever_fuzz.py

8.95 kB
Swap MiniLM retriever for LeanDojo's ByT5 premise encoder 25 days ago
test_scripts.py

6.44 kB
Add unit tests for run_agent and build_index CLIs about 1 month ago
test_state_machine_fuzz.py

13.6 kB
Pin ruff to 0.15.14 and re-sort imports about 1 month ago