Tag
1 article tagged "formal-methods"
Why treating prompts as typed, portable artefacts changes how we reason about LLM behaviour — and how promptel implements this idea.