LLexicon Workbenchv2.1

Nouncandidate MWEcandidate

Correctness Proof

nouncandidate·updated May 9, 2026

GlossaryL1 — what DictionaryL2 — how used ThesaurusL3 — relations Universaleverything

A mathematical proof of consistency between a specification and its implementation.

MWE

Classifications

per-axis with provenance

Entity Type

Artifact72%llm-generatedllm:claude-haiku-4-5

?unassignedlast reviewed —

Sensitivity

unclassified

Information Class

Ip65%llm-generatedllm:claude-haiku-4-5

?unassignedlast reviewed —

Variants

3 surface forms

plural: Correctness Prooves
possessive: Correctness Proof's
pluralpossessive: Correctness Prooves'

Continue to:Dictionary →How is this term used per framework?Thesaurus →How does this term relate to other terms?Universal →Everything in one page.