From github.io
Readings shared February 15, 2025
1 1
The readings shared in Bluesky on 15 March 2025 are Revisiting an early critique of formal verification. ~ Lawrence Paulson. #ITP #Math #FormalVerification A proof of the Schröder-Bernstein theorem i
#ai #chr #itp #nlp #acl2 #math #emacs #logic #prolog #haskell
7h ago