Skip to content

Use multiple statements to implement interactive fixpoints - #19091

Merged
coqbot-app[bot] merged 4 commits into
rocq-prover:masterfrom
herbelin:master+rework-interactive-fixpoint
Jul 21, 2024
Merged

Use multiple statements to implement interactive fixpoints#19091
coqbot-app[bot] merged 4 commits into
rocq-prover:masterfrom
herbelin:master+rework-interactive-fixpoint

Adapting Guarded to n-ary goals for fixpoints + more detailed report …

224b21f
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs