Skip to content

HOL-Light: Allow cross-generation of byte code

e7b74d9
Select commit
Loading
Failed to load commit list.
Merged

HOL-Light: Allow cross-generation of byte code #872

HOL-Light: Allow cross-generation of byte code
e7b74d9
Select commit
Loading
Failed to load commit list.
DCO-2 / DCO succeeded Jan 12, 2026 in 0s

Check passed!

All commits are signed off, the check passed.

Summary


Sha Message Pass or fail reason
🟢 477c2a9 nix: Add HOL-Light cross shells (ported from mlkem... Valid sign-off found
🟢 e7b74d9 HOL-Light: Allow cross-generation of byte code Valid sign-off found