Skip to content

Ltac2 local env APIs#21654

Open
SkySkimmer wants to merge 8 commits into
rocq-prover:masterfrom
SkySkimmer:ltac2-ctx
Open

Ltac2 local env APIs#21654
SkySkimmer wants to merge 8 commits into
rocq-prover:masterfrom
SkySkimmer:ltac2-ctx

fix typo in comment

82c825b
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 warning and 1 notice
Windows
succeeded May 27, 2026 in 40m 28s