Spaces:

Ray5th
/

Lean4-helper

Sleeping

App Files Files Community

Lean4-helper / public

778 Bytes

Ctrl+K

Ctrl+K

4 contributors

History: 1 commit

p4r5kpftnp-cmd

Claude Sonnet 4.6

Fix Vercel CI: serve static redirect page instead of Python function

c1a97cc 5 months ago

index.html

778 Bytes
Fix Vercel CI: serve static redirect page instead of Python function 5 months ago