fix: graceful failure if project config is missing#97

joneugster merged 1 commit intomainleanprover-community/lean4web:mainfrom

fix/missing-project-configleanprover-community/lean4web:fix/missing-project-configCopy head branch name to clipboard