Leslie Lamport: Video course on TLA+

news.ycombinator.com

saved by: 0 people
related read on: LLMs are making formal software verification feasible at ... related HN threads