feat: Finish porting the Agree CMRA#41

Merged

digama0 merged 3 commits intoleanprover-community:masterfrom

ineol:push-swuxzqvnooks

Jul 3, 2025

Commits on May 15, 2025

feat: Finish porting the Agree CMRA
ineol
committed

Commits on Jul 1, 2025

Merge branch 'master' into push-swuxzqvnooks
markusdemedeiros
authored

Commits on Jul 3, 2025

chore: cleanup
digama0
committed