Lean Theorem Prover Mathlib

https://github.com/leanprover-community/mathlib4

#HackerNews #Lean #Theorem #Prover #Mathlib #mathlib4 #LeanProver #theoremProving #functionalProgramming

Theorem of the Day (November 29, 2025) : The Diaconis–Holmes–Montgomery Coin Tossing Theorem
Source : Theorem of the Day / Robin Whitty
pdf : https://www.theoremoftheday.org/MathPhysics/Cointossing/TotDCoinTossing.pdf
notes : https://www.theoremoftheday.org/Resources/TheoremNotes.htm#164

#mathematics #maths #math #theorem @Theoremoftheday

Theorem of the Day (November 29, 2025) : The Diaconis–Holmes–Montgomery Coin Tossing Theorem
Source : Theorem of the Day / Robin Whitty
pdf : https://www.theoremoftheday.org/MathPhysics/Cointossing/TotDCoinTossing.pdf
notes : https://www.theoremoftheday.org/Resources/TheoremNotes.htm#164

#mathematics #maths #math #theorem @Theoremoftheday

Garfield's Proof of the Pythagorean Theorem

https://en.wikipedia.org/wiki/Garfield%27s_proof_of_the_Pythagorean_theorem

#HackerNews #Proof #of #the #Pythagorean #Theorem #mathematics #geometry #education #theorem #proof