Skip to content

ltac2: operations to manipulate transparent states#21558

Merged
coqbot-app[bot] merged 1 commit into
rocq-prover:masterfrom
MathisBD:ltac2-transparent-state
Feb 3, 2026
Merged

ltac2: operations to manipulate transparent states#21558
coqbot-app[bot] merged 1 commit into
rocq-prover:masterfrom
MathisBD:ltac2-transparent-state

ltac2: operations to manipulate transparent states

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

The logs for this run have expired and are no longer available.