Skip to content

Add Ltac2 Int.min and Int.max#22242

Open
JasonGross wants to merge 1 commit into
rocq-prover:masterfrom
JasonGross:ltac2-int-min-max
Open

Add Ltac2 Int.min and Int.max#22242
JasonGross wants to merge 1 commit into
rocq-prover:masterfrom
JasonGross:ltac2-int-min-max

Add Ltac2 Int.min and Int.max

8c82615
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 warning
Windows
succeeded Jul 8, 2026 in 36m 38s