TLA+ mental models

In the age of LLMs, syntax is no longer the bottleneck for writing, reading, or learning TLA+. People are even getting value by generating T…

View Post on Scour ↗

More from muratbuffalo.blogspot.com on Scour.

Discussed on Hacker News, Lobsters, and Blogger