Readings shared September 10, 2024
The readings shared in Mastodon on September 10, 2024 are
- Readings shared September 9, 2024. #ITP #Lean4 #IsabelleHOL #Math #Calculemus #Prolog #LogicProgramming #Python
- Proofs of 0³+1³+2³+3³+···+n³ = (n(n+1)/2)² in Lean4 and Isabelle/HOL. #ITP #Lean4 #IsabelleHOL #Math #Calculemus
- #Exercitium: Sumas de dos abundantes. #Haskell #Python #Matemáticas
- Types as interfaces. ~ Chris. #Haskell #FunctionalProgramming