Documentation Verification Report

Buthe

šŸ“ Source: PrimeNumberTheoremAnd/Buthe.lean

Statistics

MetricCount
Definitionspi_star
1
Theoremstheorem_2a, theorem_2b, theorem_2c, theorem_2d, theorem_2e, theorem_2f
6
Total7
āš ļø With sorrytheorem_2a, theorem_2b, theorem_2c, theorem_2d, theorem_2e, theorem_2f
6

Buthe

Definitions

NameCategoryTheorems
pi_star šŸ“–CompOp
1 mathmath: theorem_2d

Theorems

NameKindAssumesProvesValidatesDepends On
theorem_2a šŸ“– āš ļømathematicalā€”EĻˆā€”ā€”
theorem_2b šŸ“– āš ļøā€”ā€”ā€”ā€”ā€”
theorem_2c šŸ“– āš ļøā€”ā€”ā€”ā€”ā€”
theorem_2d šŸ“– āš ļømathematicalā€”li
pi_star		ā€”ā€”
theorem_2e šŸ“– āš ļømathematicalā€”li
pi		ā€”ā€”
theorem_2f šŸ“– āš ļømathematicalā€”li
pi		ā€”ā€”

---

ā† Back to Index