Skip to content

Experiment: unboxed ints in ltac2 runtime#22066

Closed
SkySkimmer wants to merge 1 commit into
rocq-prover:masterfrom
SkySkimmer:unboxint
Closed

Experiment: unboxed ints in ltac2 runtime#22066
SkySkimmer wants to merge 1 commit into
rocq-prover:masterfrom
SkySkimmer:unboxint

Experiment: unboxed ints in ltac2 runtime

604c0bb
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 warning
macOS
succeeded May 26, 2026 in 13m 2s