HN
Hacker News
Top
New
Best
Ask
Show
Jobs
Comment by akkad33 | Hacker News Reader
Parent
Full thread
akkad33
·
Do you know what tools they use?
View on HN
wmf
·
TLA+ is a big one.
Reply on news.ycombinator.com