Proof Node Pruning on Brownian Motion
227Review ConeLean Compass
Evaluation Results
| Method | Links | |||
|---|---|---|---|---|
| Lean CompassMain Theorem=IsBrownian_brownian2026.03 | 227 | 14 | 93.8 | |
| Lean CompassMain Theorem=IsPreBrownian.exists_continuous_modification2026.03 | 202 | 2 | 99 | |
| Lean CompassMain Theorem=IsPreBrownian.isAEKolmogorovProcess2026.03 | 56 | 2 | 96.4 | |
| Lean CompassMain Theorem=IsPreBrownian.hasIndepIncrements2026.03 | 48 | 3 | 93.8 | |
| Lean CompassMain Theorem=isProjectiveMeasureFamily_gaussianProjectiveFamily2026.03 | 46 | 5 | 89.1 |