docs: Fix misleading axiom justification — only IR eval is partial#198

Th0rgal merged 1 commit into

mainlfglabs-dev/verity:mainfrom

fix/axiom-docs-partiality-correctionlfglabs-dev/verity:fix/axiom-docs-partiality-correctionCopy head branch name to clipboard