Modules
8 modules
| Module | Definitions | Theorems | Sorry |
|---|---|---|---|
| Plausible/Arbitrary.lean | 24 | 0 | |
| Plausible/ArbitraryFueled.lean | 3 | 0 | |
| Plausible/Functions.lean | 14 | 0 | |
| Plausible/Gen.lean | 37 | 0 | |
| Plausible/Random.lean | 28 | 0 | |
| Plausible/Sampleable.lean | 51 | 0 | |
| Plausible/Tactic.lean | 1 | 0 | |
| Plausible/Testable.lean | 75 | 0 |