Remix clone Hacker News
new
|
show
|
ask
|
jobs
Github
▲
Can LLMs model real-world systems in TLA+?
(
sigops.org
)
2 points
by
mad
6 hours ago
