Spaces:

Ray5th
/

Lean4-helper

Running

App Files Files Community

Lean4-helper / Dockerfile

Commit History

Remove Lean+Mathlib warmup step from Dockerfile

23a1c60

p4r5kpftnp-cmd Claude Sonnet 4.6 commited on May 18

Fix Dockerfile: collapse multi-line python -c into single line

dbbf243

p4r5kpftnp-cmd Claude Sonnet 4.6 commited on May 18

Add Hugging Face Spaces deployment with Groq API

c2ebdf5

p4r5kpftnp-cmd Claude Sonnet 4.6 commited on May 16