Skip to content

Using the rocq-coinduction library - #285

Open
rogerburtonpatel wants to merge 195 commits into
DeepSpec:masterfrom
rogerburtonpatel:new-coinduction
Open

Using the rocq-coinduction library#285
rogerburtonpatel wants to merge 195 commits into
DeepSpec:masterfrom
rogerburtonpatel:new-coinduction

Simplify a proof, write TODOs

d34881b
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs