isabelle-language
Tested projects carrying the isabelle-language 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 isabelle-language
Argusic installed and ran 1 isabelle-language project on clean machines. Last tested October 30, 2026.
Every tested isabelle-language project
| subject | verdict | language | runs | last tested |
|---|---|---|---|---|
| open-ontologies | Not yet verified | Rust | 1 |
All tested projects: subjects.