Readings shared September 4, 2024
The readings shared in Mastodon on September 4, 2024 are
- Readings shared September 3, 2024. #ITP #Lean4 #IsabelleHOL #Math #Calculemus
- Proofs of "If f is continuous at a and the limit of u(n) is a, then the limit of f(u(n)) is f(a)" in Lean4 and Isabelle/HOL. #ITP #Lean4 #IsabelleHOL #Math #Calculemus
- Seven levels of type safety in Haskell: Lists. ~ Justin Lê (@mstk). #Haskell #FunctionalProgramming