Formalize integer division and CIntegers in the metatheory - #7864
Open
ana-pantilie wants to merge 5 commits into
Open
Formalize integer division and CIntegers in the metatheory#7864ana-pantilie wants to merge 5 commits into
ana-pantilie wants to merge 5 commits into
IOG Hydra / ci/hydra-build:x86_64-linux.required
succeeded
Jul 28, 2026 in 1s
Build succeeded
/nix/store/zp04b9hwir2x9618i4wzgl47kxdkjn73-required
Loading