#isabellehol

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