• Search
  • Topics
  • Nodes
< back

#ITP

1 14 Toot LinkedIn
A chart of hourly posts over the last week (for big screens). A chart of hourly posts over the last week (for small screens).

1

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

15h ago

Showing first 1 out of 1