Skip to content

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

Merged
Th0rgal merged 1 commit into
mainfrom
fix/axiom-docs-partiality-correction
Feb 16, 2026
Merged

docs: Fix misleading axiom justification — only IR eval is partial#198
Th0rgal merged 1 commit into
mainfrom
fix/axiom-docs-partiality-correction

docs: Fix misleading axiom justification — only IR eval is partial (i…

4e5c6e7
Select commit
Loading
Failed to load commit list.