Lean4-helper / public

Commit History

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

    p4r5kpftnp-cmd +1: Claude Sonnet 4.6
    c1a97cc