Nothing To Do
Nothing To Do — показан в пълни детайли, с неговото доказателство: детерминиран адрес по съдържание, преизчислим от името на компонента.
докато няма какво да се прави
∎ Няма какво да се прави — всяка задача е затворена.
- ✓gaps to fill
- ✓unanswered questions (in-house)
- ✓untranslated areas
- ✓unfused method tokens
- ✓completion proofs open
- ✓pairs left as gaps
- ✓components not shown
7 повърхности · 0 задачи
… 9 отворени въпроса остават — но те са за размисъл, не задачи.
✓ доказано · адрес по съдържание 957a680b-dae7-855b-87cb-a60455ec1414 — деклариран, поставен, монтиран и преизчислим от името на компонента.