Skip to content

feat: Nat simprocs for simplifying bit expressions#4874

Merged
leodemoura merged 1 commit intoleanprover:masterfrom opencompl:nat-bit-simprocJul 31, 2024

Commits

Commits on Jul 30, 2024