Skip to content

Using the rocq-coinduction library - #285

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

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

Port oldlib-optimized cleanups; fix broken to_mon

b248388
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs