← Go Up One Level | Back to Skills Dashboard
Formal Verification
| Subskill | Confidence | Goal | Estimated % | Remaining | Notes |
|---|---|---|---|---|---|
| Basic Principles | 0 | 1 | 40% | 40 | |
| TLA+ Syntax | 0 | 1 | 20% | 20 | |
| PlusCalc Usage | 0 | 1 | 20% | 20 | |
| Known Unknowns | 0 | 1 | 20% | 20 |
← Go Up One Level | Back to Skills Dashboard
| Subskill | Confidence | Goal | Estimated % | Remaining | Notes |
|---|---|---|---|---|---|
| Basic Principles | 0 | 1 | 40% | 40 | |
| TLA+ Syntax | 0 | 1 | 20% | 20 | |
| PlusCalc Usage | 0 | 1 | 20% | 20 | |
| Known Unknowns | 0 | 1 | 20% | 20 |