formal-methods
Tested projects carrying the formal-methods 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 formal-methods
Argusic installed and ran 1 formal-methods project on clean machines: 1 reached a running state. Last tested September 27, 2026.
Every tested formal-methods project
| subject | verdict | language | runs | last tested |
|---|---|---|---|---|
| sled | Runs | Rust | 1 |
All tested projects: subjects.