Skip to content

Guard against partial applications of wfrec functions (closes #555, #609) - #739

Open
blume0 wants to merge 1 commit into
rocq-prover:mainfrom
blume0:fix_issue555_by_reporting_err
Open

Guard against partial applications of wfrec functions (closes #555, #609)#739
blume0 wants to merge 1 commit into
rocq-prover:mainfrom
blume0:fix_issue555_by_reporting_err

Guard against partial applications of wfrec functions (closes #555, #…

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

Annotations

1 error
rocq-core
failed Aug 6, 2026 in 33s