Normalize and simplify#348

Draft

felixL-K wants to merge 14 commits intoformalsec:mainfrom

felixL-K:normalize

Commits on May 14, 2025

adding atomic simplifications
felixL-K
committed

Commits on May 16, 2025

Commits on May 19, 2025

Merge branch 'formalsec:main' into normalize
felixL-K
authored

Commits on May 22, 2025

Commits on May 23, 2025

adding unit test for simplification
felixL-K
committed

Commits on May 26, 2025

adding unit tests for normalization
felixL-K
committed

Commits on May 27, 2025

adding reviews of zapashcanon and filipe
felixL-K
committed

Commits on Jun 18, 2025

Merge branch 'formalsec:main' into normalize
felixL-K
authored

Commits on Jul 15, 2025