LeanWarp
Check and verify Lean 4 proofs on hosted, warm Lean and Mathlib workers.
0.2.6version the registry lists (2 published)
0reported issues
Nolisted version affected
Nothing reported yet. That is a good sign, but not proof it is safe. Check who maintains it and what it can access.
Registry name io.github.Isagoge-Labs/leanwarp
· Source code · Website
Reported issues
None found in OSV or the NVD CVE list. Checked 12 hours ago.
Versions in the registry
0.2.6 (listed), 0.2.5