Skip to content

abstract:{ tactic block - #19023

Open
SkySkimmer wants to merge 2 commits into
rocq-prover:masterfrom
SkySkimmer:abstract-subproof
Open

abstract:{ tactic block#19023
SkySkimmer wants to merge 2 commits into
rocq-prover:masterfrom
SkySkimmer:abstract-subproof

`abstract:{` tactic block

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

Annotations

1 warning
Windows
succeeded Jul 3, 2026 in 34m 45s