Search

• 
  José A. Alonso jalonso.bsky.social · May 7
  Readings shared May 6, 2025. jaalonso.github.io/vestigium/po... #Emacs #ITP #IsabelleHOL #Math #Python
  

  Readings shared May 6, 2025

  The readings shared in Bluesky on 6 May 2025 are Sophie Germain’s theorem (in Isabelle/HOL). ~ Benoît Ballenghien. #ITP #IsabelleHOL #Math Recamán’s sequence. ~ John D. Cook. #Math #Python 25 useful

  jaalonso.github.io
  Repost Quote post

  View on BlueskyCopy Bluesky URLCopy post URLTranslate postShow all post labels