Hugging Face's logo

Spaces:
Ray5th
/
Lean4-helper
Running

App Files Community
Lean4-helper / vercel.json
p4r5kpftnp-cmd
Fix Vercel CI: serve static redirect page instead of Python function
c1a97cc
Raw
History Blame Contribute Delete
79 Bytes
{
 "framework": null,
 "buildCommand": null,
 "outputDirectory": "public"
}