Spaces:

Ray5th
/

Lean4-helper

Running

App Files Files Community

Lean4-helper / tests /test_concurrent_solve.py

Commit History

Speed up proof generation: cache components, smaller max_tokens, two-stage retry

df04431

p4r5kpftnp-cmd commited on May 19

Add Claude API support (users supply their own key)

1145e92

p4r5kpftnp-cmd commited on May 19

Fix 4 bugs found by stress-test agents + add fuzz/concurrent test suites

b42c3ef

p4r5kpftnp-cmd Claude Sonnet 4.6 commited on May 19

Fix stdout race in solve_proof under concurrent requests

ecb47f3

p4r5kpftnp-cmd Claude Opus 4.7 commited on May 19