Skip to content

feat: 검증식 평가로 비-equation kind 결정론 검증 (기호 검증 불가 해소)#21

Merged
smilebank7 merged 1 commit into
mainfrom
feat/symbolic-verification-expression
Jun 11, 2026
Merged

feat: 검증식 평가로 비-equation kind 결정론 검증 (기호 검증 불가 해소)#21
smilebank7 merged 1 commit into
mainfrom
feat/symbolic-verification-expression

feat: expression-based deterministic verification for non-equation kinds

86ef209
Select commit
Loading
Failed to load commit list.
cubic-dev-ai / cubic · AI code reviewer completed Jun 11, 2026 in 1m 24s

AI review cancelled

The AI review was cancelled.

View more details on cubic-dev-ai