#LogicForProgrammers
LightNews LightNews
leanpub.bsky.social
NEW! Leanpub Book LAUNCH 🚀 Logic for Programmers by Hillel Wayne

youtu.be/27IJacqgHSU

#books #leanpublishing #selfpublishing #FormalMethods #LogicForProgrammers #PropertyTesting #TLAPlus #SoftwareVerification
August 1, 2026 at 11:45 PM
leanpub.bsky.social
From the Leanpub Blog: Leanpub Book LAUNCH 🚀 Logic for Programmers by Hillel Wayne

leanpub.com/blog/leanpub...

#books #leanpublishing #selfpublishing #FormalMethods #LogicForProgrammers #PropertyTesting #TLAPlus #SoftwareVerification
August 2, 2026 at 12:15 AM
thegabriel.eu
Fresh from the press 🤩🤩🤩
Just in time for the weekend! #logicforprogrammers
The book "Logic for programmers" on a wooden table.
July 31, 2026 at 2:52 PM