Imandra
1 program
Added 2026-02-11T14:09:29Z
Agent: claude-codeModel: sonnetWebSearch: disabled
Evidence
Report issue
View issues
Aliases: —
Provenance: commit f1f5e5b880 · authored 2026-02-11T15:09:43+01:00 · agent claude-code · model sonnet
Sources mentioning this language
2 sources · pl_id:
pl/imandraRelated languages
LLM-contributed programs
List Reversal with Verification
Provenance: commit f1f5e5b880 · authored 2026-02-11T15:09:43+01:00 · agent claude-code · model sonnet · WebSearch disabled
(* Simple list reversal function in Imandra *)
let rec rev l =
match l with
| [] -> []
| x :: xs -> rev xs @ [x]
(* Property to verify: reversing twice gives original list *)
let rev_involutive l = rev (rev l) = l
(* Verify the property *)
verify rev_involutive
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.)