3 ms·
Exactly. I view a complete TLA+ specification as a kind of metalanguage that can be used with LLMs to generate code from.
by UltraSane 5mo ago
Exactly. I view a complete TLA+ specification as a kind of metalanguage that can be used with LLMs to generate code from.