Skip to content

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

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

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

stack (windows-2022, 9.6.7)

succeeded Jun 29, 2026 in 5m 30s