Skip to content

Abstract discharge functions over how names are themselves discharged - #18062

Closed
herbelin wants to merge 2 commits into
rocq-prover:masterfrom
herbelin:master+principled-discharge
Closed

Abstract discharge functions over how names are themselves discharged#18062
herbelin wants to merge 2 commits into
rocq-prover:masterfrom
herbelin:master+principled-discharge

Write discharge functions in a principled way.

f897a3f
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs