https://github.com/qin-yu/concurrent-separation-logic-soundness

2017 [Isabelle2016-1] soundness proof for concurrent separation logic (CSL)

concurrent-separation-logic csl isabelle-hol logic proof semantic soundness-proof

Last synced: 15 Mar 2025

https://github.com/skaaalper/soundness-setup

airdrop pubkey setup soundness soundness-proof sui testnet walrus

Last synced: 01 Apr 2025