Skip to content

Security: leanprover-community/lean4web

SECURITY.md

Security Policy

Supported Versions

Currently this project does not support stable versions/releases, meaning security updates will be added to main and you are advised to keep up-to-date with the latest version on main.

Reporting a Vulnerability

Please report any issues here on github, we aim to respond as soon as possible. The npm package lean4monaco is maintained by the same team, therefore you do not need to distinguish between issues concerning lean4web and lean4monaco.

Alternatively, feel free to contact Jon Eugster on the Lean Zulip.

The playground at live.lean-lang.org is maintained by the Lean FRO: contact@lean-fro.org

Learn more about advisories related to leanprover-community/lean4web in the GitHub Advisory Database