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