What TLA+ can and can't check

Об этом предложении

109 points · 24 comments · by b-man

Детали предложения

Источник: hacker-news-frontpage
Балл: 51.82
Уверенность: 46%

Источник данных

То, что RADAR обнаружил и классифицировал для этой возможности. Это опубликованный источником текст, а не подтверждение, что предложение ещё действует.

Hacker News (front page)Наблюдение: 30 сент. 2026 г.Надёжность источника: 55%
What TLA+ can and can't check
Открыть источник