home.social

#firstorderlogic — Public Fediverse posts

Live and recent posts from across the Fediverse tagged #firstorderlogic, aggregated by home.social.

fetched live
  1. Lispy Gopher Climate w/ screwlisp @[email protected] ·

    A very little about #acl2 and #commonLisp - reading some Kaufmann and Moore on floats.

    toobnix.org/w/4L9y5HxErbaajwcH

    #commonlisp #lisp #acl2 #firstorderlogic #formalmethods
  2. Tony Corsentino :bongoCat: @[email protected] ·

    OK, I should add some hashtags (got to get used to this federated multiverse): #logic #FirstOrderLogic

    #logic #firstorderlogic