這太棒了 - Brandon 剛剛讓這一切成真！！ 我真的希望能看到更多乾淨的抽象實現及其正式驗證對應物 - 這會帶來更好的安全性，甚至只是清晰度 如果你對此感到好奇或正在研究這個，請聯繫我 :)