HoareTheory
📁 Source: MRiscX/Hoare/HoareTheory.lean
Statistics
| Metric | Count |
|---|---|
Definitionsweak_loop | 1 |
| 2 | |
| Total | 3 |
(root)
Definitions
| Name | Category | Theorems |
|---|---|---|
weak_loop 📖 | MathDef | — |
Theorems
| Name | Kind | Assumes | Proves | Validates | Depends On |
|---|---|---|---|---|---|
weak_L_w_with_L_from_L_b 📖 | — | weak | — | — | — |
weak_with_less_BL_weakens 📖 | — | weak | — | — | — |
---