lean4
Tested projects carrying the lean4 topic, with their current verdicts. Topics come from each project's own metadata and Argusic's pool tags. Spellings of the same topic are gathered here under one name, so this page holds every project tagged any of them.
Measured by Argusic on a fresh machine every time. Every number links to its evidence.
What Argusic measured in lean4
Argusic installed and ran 1 lean4 project on clean machines: 1 only ran against stand-in services. Last tested October 22, 2026.
Every tested lean4 project
| subject | verdict | language | runs | last tested |
|---|---|---|---|---|
| Formal-Verification-RSI | Runs with mocks | Python | 1 |
All tested projects: subjects.