Skip to content

iris-lean to prove SwapElementsSpec - #133

Merged
mfornet merged 10 commits into
cajal-technologies:mainfrom
Isabelle9999:sep-logic-swap
Jul 17, 2026
Merged

iris-lean to prove SwapElementsSpec#133
mfornet merged 10 commits into
cajal-technologies:mainfrom
Isabelle9999:sep-logic-swap

seplogic: address review findings — validate composition rules, dedup…

1ffa95a
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 warning
Check testsuite_report.txt is up to date
succeeded Jul 16, 2026 in 8m 52s