LeanWarp
io.github.Isagoge-Labs/leanwarp
95
security score
Check and verify Lean 4 proofs on hosted, warm Lean and Mathlib workers.
MaintainedVerified
Security scan
Last scanned 22 hours ago — static analysis of the published manifest.
- lowManifest makes network requests.