Skip to content

arch-split Refine + EmptyFail_H, add Refine toplevel, clean up small theories - #1041

Merged
Xaphiosis merged 13 commits into
masterfrom
arch-split
Jul 31, 2026
Merged

arch-split Refine + EmptyFail_H, add Refine toplevel, clean up small theories#1041
Xaphiosis merged 13 commits into
masterfrom
arch-split

infoflow refine: update imports for EmptyFail_H arch-split

a4158d3
Select commit
Loading
Failed to load commit list.
DCO / DCO succeeded Jul 31, 2026 in 0s

DCO

All commits are signed off!

View more details on DCO