Prompts com a tag: #Z3
4.0
4
Prompt para explorar Canto Lang — engenharia de prompts com lógica defeasible
Prompt estruturado para projetar regras defeisíveis em Canto Lang visando engenharia de prompts segura e iterativa com verificação suave via Z3