Move Boole dialect to the StrataBoole package#1210

Merged

shigoel merged 3 commits into

mainfrom

May 22, 2026

Commits on May 21, 2026

Move Boole dialect to the StrataBoole package
atomb
committed
fix(ci): Add copyright headers and inline StrataBoole build step Add missing copyright headers to StrataBoole.lean and StrataBooleTest.lean to fix the lint check. Move the StrataBoole build into th…
atomb
committed
Add some comments explaining Boole removals
atomb
committed