Skip to content

Make let rec build cyclic data, and compare it by bisimulation - #16

Merged
janstrakowski merged 3 commits into
mainfrom
worktree-cyclic-let-rec
Aug 31, 2026
Merged

Make let rec build cyclic data, and compare it by bisimulation#16
janstrakowski merged 3 commits into
mainfrom
worktree-cyclic-let-rec

Fix cyclic equality reusing assumptions from a comparison that failed

0e40b5b
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar