• Trends
  • Topics
  • Nodes
Search for keywords, #hashtags, $sites, add a dash to exclude, e.g. -$theonion.com

From github.io

Readings shared December 21, 2024

1 1

The readings shared in Bluesky on 21 December 2024 are Readings shared December 20, 2024. #ITP #Mizar #Math #Haskell #Python #AI Isabelle quick start guide. ~ Lawrence Paulson (@LawrPaulson). #ITP #I

#ITP #math #haskell #isabellehol #functionalprogramming

19h ago