Lean4-helper / Dockerfile

Commit History

Remove Lean+Mathlib warmup step from Dockerfile
23a1c60

p4r5kpftnp-cmd Claude Sonnet 4.6 commited on

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

p4r5kpftnp-cmd Claude Sonnet 4.6 commited on

Add Hugging Face Spaces deployment with Groq API
c2ebdf5

p4r5kpftnp-cmd Claude Sonnet 4.6 commited on