• Search
  • Topics
  • Nodes
< back

#emacs

19 119 daily 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 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

5h ago

Showing first 6 out of 7