Readings shared February 4, 2025
The readings shared in Bluesky on 4 February 2025 are
- Readings shared February 3, 2025. #ITP #LeanProver #IsabelleHOL #Haskell #Python #CommonLisp #Maxima #Math
- #Exercitium: Posiciones de las diagonales principales. #Haskell #Python #CommonLisp