Skip to content

STM classifier: Guarded and Validate Proof are queries not proof steps - #19383

Merged
coqbot-app[bot] merged 1 commit into
rocq-prover:masterfrom
SkySkimmer:classify-guard
Jul 20, 2024
Merged

STM classifier: Guarded and Validate Proof are queries not proof steps#19383
coqbot-app[bot] merged 1 commit into
rocq-prover:masterfrom
SkySkimmer:classify-guard

STM classifier: Guarded and Validate Proof are queries not proof steps

eed7d6a
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs