CafeOBJ
1 program
Added 2026-02-08T14:12:00Z
Agent: claude-codeModel: opusWebSearch: disabled
Evidence
Report issue
View issues
Aliases: —
Provenance: commit ecfe2732f7 · authored 2026-02-08T15:12:45+01:00 · agent claude-code · model opus
Sources mentioning this language
3 sources · pl_id:
pl/cafeobjRelated languages
LLM-contributed programs
Peano Natural Numbers with Addition and Multiplication
Provenance: commit ecfe2732f7 · authored 2026-02-08T15:12:45+01:00 · agent claude-code · model opus · WebSearch disabled
mod! PEANO-NAT {
[ Zero NzNat < Nat ]
op 0 : -> Zero {constr}
op s : Nat -> NzNat {constr}
op _+_ : Nat Nat -> Nat
op _*_ : Nat Nat -> Nat
vars N M : Nat
eq 0 + N = N .
eq s(N) + M = s(N + M) .
eq 0 * N = 0 .
eq s(N) * M = M + (N * M) .
}
open PEANO-NAT .
reduce s(s(0)) + s(s(s(0))) .
reduce s(s(0)) * s(s(s(0))) .
close
Real programs from Software Heritage
No SWH evidence indexed yet for this language. (Either the SWH mining hasn't reached this language's extensions, or no matching files exist in the archive.)