Skip to content

feat(#912): migrate normalization rules to the premise-conclusion schema#915

Draft
yegor256 wants to merge 7 commits into
masterfrom
claude/phino-issue-912-fp1u0i
Draft

feat(#912): migrate normalization rules to the premise-conclusion schema#915
yegor256 wants to merge 7 commits into
masterfrom
claude/phino-issue-912-fp1u0i

chore(#912): add pdd todo for unifying the premise representations

6f56de4
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar