repo_metrics_dv / fields
all fields (3)
| field | score | claims | evidence | comments |
|---|---|---|---|---|
| mathematics | 0 | 0 | 1 | 0 |
| formal-verification | 0 | 1 | 1 | 0 |
| software-engineering | 0 | 1 | 0 | 0 |
score breakdown
| total field score | 0 | across 3 fields |
|---|---|---|
| from claims | 0 | 2 claims |
| from evidence | 0 | 2 links |
| from comments | 0 | 0 comments |