GeistHaus
log in · sign up

Intro to TLA+ for the LLM Era: Prompt Your Way to Victory

emptysqua.re

You can go far without writing TLA+ syntax now, but you still need to understand temporal logic.

1 page links to this URL